MSP432P401R: How to access the TLV 128bit random number?

Part Number: MSP432P401R

I am trying to encrypt some data with the aes256 module of the MSP432 Launchpad. To generate a 128bit- Key I want to use the device-specific TLV Random Number. How would I go about actually accessing this number?

I know the addresses of the 4 32bit numbers from the datasheet  ( 0x00201120, 0x00201124....) but since I am new to microcontroller programming I am not sure how to access those addresses.

Are there functions in the driverlib which I can use or is there a simpler solution?

Quick Edit: Since I know that address of the values and I want to save them in an array, is this an acceptable solution?

for(i = 0; i<=3; i++)
    {
        TLVrand[i] = *(uint32_t*) (TLV_RandNum_BASE + TLV_RandNum_INCREMENT * i);
    }

with TLV_RandNum_BASE = 0x00201120 and TLV_RandNum_INCREMENT = 0x00000004. TLVrand is the array I save the numbers in.