VCPU_REG_OFFSET_ABT   75 arch/arm/kvm/emulate.c 	[VCPU_REG_OFFSET_ABT] = {
VCPU_REG_OFFSET_ABT  112 arch/arm/kvm/emulate.c 		mode = VCPU_REG_OFFSET_ABT;