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