Symbol: CNTKCTL_PL0VTEN
sys/arch/aarch64/include/armreg.h
1570
#define CNTKCTL_PL0VTEN CNTKCTL_EL0VTEN
sys/arch/arm/include/armreg.h
596
#define CNTKCTL_PL0VTEN __BIT(8) /* PL0 Virtual Timer Enable */