Symbol: can_access_vgic_from_kernel
arch/arm64/kvm/vgic/vgic.c
1023
if (can_access_vgic_from_kernel())
arch/arm64/kvm/vgic/vgic.c
1088
if (can_access_vgic_from_kernel())