Symbol: TFSR_TF1_SHIFT
sys/arm64/include/armreg.h
3029
#define TFSR_TF1_SHIFT 1
sys/arm64/include/hypervisor.h
2129
#define TFSR_TF1_SHIFT 1