Symbol: kvm_nested_flush_hwstate
arch/arm64/include/asm/kvm_nested.h
84
extern void kvm_nested_flush_hwstate(struct kvm_vcpu *vcpu);
arch/arm64/kvm/arm.c
1305
kvm_nested_flush_hwstate(vcpu);