Searched refs:WARMBOOT_SEG (Results 1 – 3 of 3) sorted by relevance
149 #define WARMBOOT_SEG (KERNBASE + 0x0469) macro152 #define WARMBOOT_SEG (PMAP_MAP_LOW + 0x0469) macro174 *((volatile u_short *)WARMBOOT_SEG) = sc->acpi_wakephys >> 4; in acpi_wakeup_cpus()
95 #define WARMBOOT_SEG (PMAP_MAP_LOW + 0x0469) macro346 *((volatile u_short *) WARMBOOT_SEG) = (boot_address >> 4); in start_all_aps()
90 #define WARMBOOT_SEG (KERNBASE + 0x0469) macro459 *((volatile u_short *) WARMBOOT_SEG) = (boot_address >> 4); in native_start_all_aps()