This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

TCI6630K2L: CP15 Registers

Part Number: TCI6630K2L

I am using the evmk2l board. I would like to setup the enternonsecure() as done in the GEL file, in my custom bootloader code....I do not see where the REG_CTAX15_CP15_C1_XXXXX registers are defined? Is there a document or .h file that defines these register addresses?