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

/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dinit_ap_x86_64.S263 .global x86_64_start_ap_end
264 x86_64_start_ap_end: label
H A Dboot_arch.c37 extern uint64_t x86_64_start_ap_end;
171 uint8_t *real_end = (uint8_t *) &x86_64_start_ap_end;

Completed in 25 milliseconds