cpu_state
uint64_t cpu_state;
void exception_handler(unsigned, struct cpu_state *);
exception_handler(unsigned vector, struct cpu_state *st)