Searched refs:deinit_sched (Results 1 – 3 of 3) sorted by relevance

/hypervisor/include/common/
A D	schedule.h	137 void deinit_sched(uint16_t pcpu_id);
/hypervisor/common/
A D	schedule.c	93 void deinit_sched(uint16_t pcpu_id) in deinit_sched() function
/hypervisor/arch/x86/
A D	cpu.c	500 deinit_sched(pcpu_id); in cpu_dead()

Completed in 5 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025