Symbol: TCO
sys/arm64/include/armreg.h
2885
#define TCO MRS(TCO)
sys/arm64/include/armreg.h
2886
#define TCO_REG MRS_REG_ALT_NAME(TCO)