Symbol: TFSR_TF0_SHIFT
sys/arm64/include/armreg.h
3027
#define TFSR_TF0_SHIFT 0
sys/arm64/include/hypervisor.h
2127
#define TFSR_TF0_SHIFT 0