Searched refs:ap_wait (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Dstartup_x86.h51 volatile uint32_t *ap_wait = (volatile uint32_t *) local
55 volatile uint32_t *ap_wait = (volatile uint32_t *)
62 *ap_wait = AP_STARTED;
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/
H A Dboot_arch.c248 volatile uint32_t *ap_wait = (volatile uint32_t *) local
259 *ap_wait = AP_STARTING_UP;
291 while (*ap_wait != AP_STARTED);
365 volatile uint32_t *ap_wait = (volatile uint32_t *) local
376 *ap_wait = AP_STARTING_UP;
400 while (*ap_wait != AP_STARTED);

Completed in 65 milliseconds