1 /* two abstractions specific to kernel/smpboot.c, mainly to cater to visws
2 * which needs to alter them. */
4 static inline void smpboot_setup_warm_reset_vector(unsigned long start_eip)
9 *((volatile unsigned short *) TRAMPOLINE_HIGH) = start_eip >> 4;
11 *((volatile unsigned short *) TRAMPOLINE_LOW) = start_eip & 0xf;
15 static inline void smpboot_restore_warm_reset_vector(void)
18 * Install writable page 0 entry to set BIOS data area.
23 * Paranoid: Set warm reset code and vector here back
28 *((volatile long *) phys_to_virt(0x467)) = 0;