Searched refs:print_reg64 (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.0-release/sys/contrib/octeon-sdk/
H A Dcvmx-interrupt.c192 * print_reg64
196 static inline void print_reg64(const char *name, uint64_t reg) function
219 print_reg64 ("COP0_CAUSE", r1);
221 print_reg64 ("COP0_STATUS", r2);
223 print_reg64 ("COP0_BADVADDR", r1);
225 print_reg64 ("COP0_EPC", r2);

Completed in 104 milliseconds