Symbol: CNTKCTL_PL0PTEN
sys/arch/aarch64/include/armreg.h
1568
#define CNTKCTL_PL0PTEN CNTKCTL_EL0PTEN
sys/arch/arm/include/armreg.h
595
#define CNTKCTL_PL0PTEN __BIT(9) /* PL0 Physical Timer Enable */