LAUNCHXL-CC1352P: How to read factory configuration registers?

How to read the values from 'MAC IEEE 802.15.4 Address' registers in FCFG?

I tried:

uint32_t mac_addr_lsb = HWREG(FCFG1_BASE + MAC_15_4_0);
uint32_t mac_addr_msb = HWREG(FCFG1_BASE + MAC_15_4_1);
// And:
uint32_t mac_addr_lsb = HWREG(FCFG1_BASE + FCFG1_O_MAC_15_4_0);
uint32_t mac_addr_msb = HWREG(FCFG1_BASE + FCFG1_O_MAC_15_4_1);

The example from where i try to read them is rfWakeOnRadioRx.

I guess i need to add some header, but what?

I've tried to search a header locally where these would be defined.

I'm new to TI. Using CCS 11.1.0.00011 on Windows 10.

Cheers