Symbol: vcpu_set_hcrx
arch/arm64/kvm/hyp/nvhe/pkvm.c
184
vcpu_set_hcrx(vcpu);
arch/arm64/kvm/sys_regs.c
5638
vcpu_set_hcrx(vcpu);