Constant panda_sys::RR_callsite_id_RR_CALLSITE_CPU_PENDING_INTERRUPTS_BEFORE [−][src]
pub const RR_callsite_id_RR_CALLSITE_CPU_PENDING_INTERRUPTS_BEFORE: RR_callsite_id = 18;
pub const RR_callsite_id_RR_CALLSITE_CPU_PENDING_INTERRUPTS_BEFORE: RR_callsite_id = 18;