s/ARM registers used by current virtual machine./ARM registers for current virtual machine.