Symbol: cap_num_fault_regs