Here is a list of all documented variables with links to the documentation:

• ITM_RxBuffer : core_armv81mml.h, core_armv8mml.h, core_cm3.h, core_cm33.h, core_cm35p.h, core_cm4.h, core_cm55.h, core_cm7.h, core_cm85.h, core_sc300.h, core_starmc1.h, core_armv81mml.h, core_armv8mml.h, core_cm33.h, core_cm4.h
• SystemCoreClock : system_msp432p401r.h