mftlb1cfg
tlbcfg = mftlb1cfg();
static inline register_t mftlb1cfg(void) __pure;
const uint32_t tlb1cfg = mftlb1cfg();