Searched refs:cpu_startup_start_address (Results 1 – 2 of 2) sorted by relevance
97 void send_startup_ipi(uint16_t dest_pcpu_id, uint64_t cpu_startup_start_address);
200 send_startup_ipi(uint16_t dest_pcpu_id, uint64_t cpu_startup_start_address) in send_startup_ipi() argument230 icr.bits.vector = (uint8_t)(cpu_startup_start_address >> 12U); in send_startup_ipi()
Completed in 3 milliseconds