Constant panda_sys::RR_callsite_id_RR_CALLSITE_CPU_HANDLE_INTERRUPT_AFTER [−][src]
pub const RR_callsite_id_RR_CALLSITE_CPU_HANDLE_INTERRUPT_AFTER: RR_callsite_id = 2;
pub const RR_callsite_id_RR_CALLSITE_CPU_HANDLE_INTERRUPT_AFTER: RR_callsite_id = 2;