@ -47,8 +47,8 @@ lapicw(int index, int value)
lapic[index] = value;
lapic[ID]; // wait for write to finish, by reading
}
//PAGEBREAK!
void
lapicinit(int c)
{