wrv               143 lapic.c          ushort *wrv;
wrv               150 lapic.c          wrv = (ushort*)P2V((0x40<<4 | 0x67));  // Warm reset vector
wrv               151 lapic.c          wrv[0] = 0;
wrv               152 lapic.c          wrv[1] = addr >> 4;