kvm_arm_vcpu_loaded  424 arch/arm/include/asm/kvm_host.h #define kvm_arm_vcpu_loaded(vcpu)	(false)
kvm_arm_vcpu_loaded  682 arch/arm64/include/asm/kvm_host.h #define kvm_arm_vcpu_loaded(vcpu)	((vcpu)->arch.sysregs_loaded_on_cpu)