wrv               132 lapic.c          ushort *wrv;
wrv               139 lapic.c          wrv = (ushort*)P2V((0x40<<4 | 0x67));  // Warm reset vector
wrv               140 lapic.c          wrv[0] = 0;
wrv               141 lapic.c          wrv[1] = addr >> 4;