It has recurse calling. configure_mmu() function will call init_xlat_tables. So, it is hard to understand this function's code logic for creating page table. maybe we should adopt uefi boot loader's code logic to create page table. best wishes, Your assertion that this code is hard to ...