Searched refs:startup_paddr (Results 1 – 1 of 1) sorted by relevance
48 static uint64_t startup_paddr = 0UL; variable299 startup_paddr = prepare_trampoline(); in init_pcpu_post()369 send_startup_ipi(pcpu_id, startup_paddr); in start_pcpu()
Completed in 5 milliseconds