Home
last modified time | relevance | path

Searched refs:cpu_startup_start_address (Results 1 – 2 of 2) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dlapic.h97 void send_startup_ipi(uint16_t dest_pcpu_id, uint64_t cpu_startup_start_address);
/hypervisor/arch/x86/
A Dlapic.c200 send_startup_ipi(uint16_t dest_pcpu_id, uint64_t cpu_startup_start_address) in send_startup_ipi() argument
230 icr.bits.vector = (uint8_t)(cpu_startup_start_address >> 12U); in send_startup_ipi()

Completed in 4 milliseconds