T_RESERVED
[T_RESERVED] = "reserved (unknown) fault",
if (type == T_RESERVED) {
regs->tf_trapno = T_RESERVED;
regs->tf_trapno = T_RESERVED;
regs->tf_trapno = T_RESERVED;
if (type == T_RESERVED) {