Searched refs:wfe_to_deadline_or_interrupt (Results 1 – 3 of 3) sorted by relevance
| /xnu-8019.80.24/osfmk/arm/ |
| H A D | machine_cpu.h | 60 wfe_to_deadline_or_interrupt(uint32_t cid, uint64_t wfe_deadline, cpu_data_t *cdp, bool unmask);
|
| /xnu-8019.80.24/osfmk/arm64/ |
| H A D | cpu.c | 391 wfe_to_deadline_or_interrupt(uint32_t cid, uint64_t wfe_deadline, cpu_data_t *cdp, bool unmask) in wfe_to_deadline_or_interrupt() function
519 ipending = wfe_to_deadline_or_interrupt(cid, wfe_deadline, cpu_data_ptr, false); in cpu_idle()
538 ipending = wfe_to_deadline_or_interrupt(cid, ~0ULL, cpu_data_ptr, false); in cpu_idle()
|
| H A D | machine_routines.c | 322 ipending = wfe_to_deadline_or_interrupt(cid, wfe_deadline, cdp, true); in wfe_process_recommendation()
|