ON_USER_HAT
ASSERT(ON_USER_HAT(CPU));
if (ON_USER_HAT(CPU))
if (addr < kernelbase && ON_USER_HAT(CPU)) {