Constant SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP 

pub const SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP: Type = 3;