Searched refs:x86_64_init_ap_wait (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dstartup_x86.h41 extern uint64_t x86_64_init_ap_wait;
52 local_phys_to_mem((lpaddr_t)&x86_64_init_ap_wait - ((lpaddr_t)&x86_64_start_ap) +
/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dinit_ap_x86_64.S254 .global x86_64_init_ap_wait
255 x86_64_init_ap_wait: label
H A Dboot_arch.c39 extern uint64_t x86_64_init_ap_wait;
249 ((lpaddr_t) &x86_64_init_ap_wait -

Completed in 82 milliseconds