Searched refs:cp0_badvaddr (Results 1 – 2 of 2) sorted by relevance
44 rt_uint32_t cp0_badvaddr; member55 unsigned long cp0_badvaddr;
58 pt->cp0_badvaddr = 0x0; in rt_hw_stack_init()
Completed in 4 milliseconds