Module cpx_num
s32k144::mscm
Processor X Number Register
Value of the field
Value read from the register