Symbol: vgic_present
sys/arm64/vmm/io/vgic.h
37
bool vgic_present(void);
sys/arm64/vmm/vmm_arm64.c
249
if (!vgic_present()) {