Searched refs:print_reg64 (Results 1 – 1 of 1) sorted by relevance
196 static inline void print_reg64(const char *name, uint64_t reg) in print_reg64() function219 print_reg64 ("COP0_CAUSE", r1); in __cvmx_interrupt_dump_registers()221 print_reg64 ("COP0_STATUS", r2); in __cvmx_interrupt_dump_registers()223 print_reg64 ("COP0_BADVADDR", r1); in __cvmx_interrupt_dump_registers()225 print_reg64 ("COP0_EPC", r2); in __cvmx_interrupt_dump_registers()