Constant SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP

pub const SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP: Type = 3;