23.3.4.28 .tlb_init_values Section

Some PIC32 devices feature a Memory Management Unit (MMU) with a Translation Lookaside Buffer (TLB). On some of these devices, the data sheet describes specific ranges of KSEG2/KSEG3 regions as dedicated to the Serial Quad Interface (SQI) and/or the External Bus Interface (EBI).

For these devices, the default startup code calls a module that initializes the TLB for this dedicated memory mapping. The TLB initialization module, pic32_init_tlb_ebi_sqi.o, uses the table created by this section to initialize the TLB. For more information on this format, see the copy of the pic32_init_tlb_ebi_sqi.S source file located in your pic32m-libs/libpic32/stubs directory.