NPX documents these registers in section 4.5.74 of the user manual. Unfortunately the SVD distributed by NXP doesn't include these registers.