Module rgd_word1
k64::sysmpu
Region Descriptor n, Word 1
Value of the field
Value read from the register
Value to write to the register
Proxy