The read_register_mode and write_register_mode
functions are used to access banked copies of the registers. They are used
just like the int_register
interface read and
write 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.
SIM_INTERFACE(arm) { uint64 (*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, uint64 value); }; #define ARM_INTERFACE "arm"