Searched refs:WARMBOOT_SEG (Results 1 – 3 of 3) sorted by relevance
137 #define WARMBOOT_SEG (PMAP_MAP_LOW + 0x0469) macro 158 *((volatile u_short *)WARMBOOT_SEG) = sc->acpi_wakephys >> 4; in acpi_wakeup_cpus()
90 #define WARMBOOT_SEG (PMAP_MAP_LOW + 0x0469) macro396 *((volatile u_short *) WARMBOOT_SEG) = (boot_address >> 4); in start_all_aps()
85 #define WARMBOOT_SEG (KERNBASE + 0x0469) macro402 *((volatile u_short *)WARMBOOT_SEG) = (boot_address >> 4); in start_all_aps()