Home
last modified time | relevance | path

Searched refs:mode_to_kick_pcpu (Results 1 – 4 of 4) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dper_cpu.h57 uint32_t mode_to_kick_pcpu; member
/hypervisor/common/
A Dschedule.c70 per_cpu(mode_to_kick_pcpu, pcpu_id) = DEL_MODE_IPI; in init_sched()
/hypervisor/arch/x86/
A Dlapic.c299 if (per_cpu(mode_to_kick_pcpu, pcpu_id) == DEL_MODE_INIT) { in kick_pcpu()
/hypervisor/arch/x86/guest/
A Dvcpu.c543 per_cpu(mode_to_kick_pcpu, pcpu_id) = DEL_MODE_INIT; in create_vcpu()
545 per_cpu(mode_to_kick_pcpu, pcpu_id) = DEL_MODE_IPI; in create_vcpu()
549 per_cpu(mode_to_kick_pcpu, pcpu_id), is_using_init_ipi()); in create_vcpu()

Completed in 9 milliseconds