WARMBOOT_SEG
*((volatile u_short *)WARMBOOT_SEG) = sc->acpi_wakephys >> 4;
*((volatile u_short *)WARMBOOT_SEG) = (boot_address >> 4);
*((volatile u_short *)WARMBOOT_SEG) = sc->acpi_wakephys >> 4;
*((volatile u_short *) WARMBOOT_SEG) = (boot_address >> 4);