Searched refs:build_pagetable (Results 1 – 1 of 1) sorted by relevance
473 static void build_pagetable(uint32_t *pgtable) in build_pagetable() function499 build_pagetable(pgtable); in cpu_jump_to_64bit()530 build_pagetable(pgtable); in cpu_jump_to_64bit_uboot()