Constant panda_sys::CPUID_EXT_TSC_DEADLINE_TIMER

source · 
pub const CPUID_EXT_TSC_DEADLINE_TIMER: u32 = 16777216;