SPSR_svc           25 arch/arm/kvm/hyp/banked-sr.c 	ctxt->gp_regs.KVM_ARM_SVC_spsr	= read_special(SPSR_svc);
SPSR_svc           52 arch/arm/kvm/hyp/banked-sr.c 	write_special(ctxt->gp_regs.KVM_ARM_SVC_spsr,	SPSR_svc);