Constant SEL4_BOOTINFO_HEADER_X86_TSC_FREQ 

pub const SEL4_BOOTINFO_HEADER_X86_TSC_FREQ: Type = 5;