TRAP_USERMODE
TRAP_USERMODE(tf) ? "user" : "kernel");
if (!TRAP_USERMODE(tf))
KASSERT(!TRAP_USERMODE(tf) || VALID_PSR(tf->tf_spsr));
bool user = (TRAP_USERMODE(tf) != 0);
const char * const mode = TRAP_USERMODE(tf) ? "user" : "kernel";
if (TRAP_USERMODE(tf))
if (!TRAP_USERMODE(tf))
KDASSERT(TRAP_USERMODE(tf) == 0);
if (!TRAP_USERMODE(tf))
TRAP_USERMODE(tf) ? "user" : "kernel");
if (!TRAP_USERMODE(tf))
user = TRAP_USERMODE(tf) != 0;
KASSERT(!TRAP_USERMODE(tf) || VALID_PSR(tf->tf_spsr));
KASSERT(!TRAP_USERMODE(tf) || VALID_PSR(tf->tf_spsr));
if (!TRAP_USERMODE(tf) && va < VM_MAXUSER_ADDRESS)