The read_register_mode and write_register_mode functions are used to access banked copies of the registers. They are used just like the SIM_read_register and SIM_write_register functions, except that they take an extra parameter mode that specifies which register bank should be used. mode should be the mode bits in the cpsr corresponding to the mode shifted right to bits 0-4.
typedef struct arm_interface {
uinteger_t (*read_register_mode)(conf_object_t *processor_obj,
int reg_num,
int mode);
void (*write_register_mode)(conf_object_t *processor_obj,
int reg_num,
int mode,
uinteger_t value);
} arm_interface_t;
#define ARM_INTERFACE "arm"
#define ARM_INT_IRQ 0 /* Used by simple-interrupt to raise an IRQ */
#define ARM_INT_FIQ 1 /* Used by simple-interrupt to raise an FIQ */
| pscc-regs | print coprocessor 15 (scc) registers. |