Symbol: CNTKCTL_PL0VCTEN
sys/arch/aarch64/include/armreg.h
1575
#define CNTKCTL_PL0VCTEN CNTKCTL_EL0VCTEN
sys/arch/arm/include/armreg.h
600
#define CNTKCTL_PL0VCTEN __BIT(1) /* PL0 Virtual Counter Enable */