  u00 ircp0ir;  /* Interrupt Router CP0 Interrupt Register                              */  u00 ircp0ir;  /* Interrupt Router CP0 Interrupt Register                              */  u00 reserved_0x000[0