__banked_save_state  119 arch/arm/include/asm/kvm_hyp.h void __hyp_text __banked_save_state(struct kvm_cpu_context *ctxt);
__banked_save_state  161 arch/arm/kvm/hyp/switch.c 	__banked_save_state(host_ctxt);
__banked_save_state  182 arch/arm/kvm/hyp/switch.c 	__banked_save_state(guest_ctxt);