#include "mp.h"
+extern void _stts(void);
+
static void
squidboy(Apic* apic)
{
lapicinit(apic);
lapiconline();
timersinit();
+ _stts();
schedinit();
}
apbootp[1] = (uintptr)PADDR(pml4);
apbootp[2] = (uintptr)apic;
apbootp[3] = (uintptr)mach;
+ apbootp[4] |= (uintptr)m->havenx<<11; /* EFER */
/*
* Universal Startup Algorithm.