Symbol: check_nested_vcpu_requests
arch/arm64/include/asm/kvm_nested.h
82
extern void check_nested_vcpu_requests(struct kvm_vcpu *vcpu);
arch/arm64/kvm/arm.c
1122
check_nested_vcpu_requests(vcpu);