T_RESERVED
[IDT_NMI] = T_RESERVED,
[15] = T_RESERVED,
[20] = T_RESERVED,
[21] = T_RESERVED,
[22] = T_RESERVED,
[23] = T_RESERVED,
[24] = T_RESERVED,
[25] = T_RESERVED,
[26] = T_RESERVED,
[27] = T_RESERVED,
[28] = T_RESERVED,
[29] = T_RESERVED,
[30] = T_RESERVED,
[31] = 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) {