dump MMU translation table for A9 in Linux

Hello,

     I would like to know how to read the translation table info for A9  from embedded Linux.

     In freeRTOS I have translation_table.S but I do not find anything similar for ARM architecure in linux kernel.

     Should I just dump TTBR0/TTBR1 registers?

Thanks,

      Mihaita