48 .macro FatalWithCode name
53 .macro FatalNoCode name
66 .macro SpringboardWithCode name landing
69 leaq (15 * 16)(%rsp), %rdi
77 .global _IRQStub_\name
91 /* processor fault/exception handlers */
102 /* vector 9 is not used */
107 SpringboardWithCode PF64 HandlePF
108 /* vector 15 is not used */
113 /* 20-31 are reserved */