FAULT_USER
if (code == FAULT_USER) {
if (code == FAULT_USER) {
fault_code = FAULT_USER;
if (uh == NULL && (fault_code & FAULT_USER)) {
if ((fault_code & FAULT_USER) == 0) {
if ((code & FAULT_USER) == 0 &&
KASSERT((code & FAULT_USER) == 0 ||