Constant SEL4_BOOTINFO_HEADER_X86_TSC_FREQ

pub const SEL4_BOOTINFO_HEADER_X86_TSC_FREQ: Type = 5;