Searched refs:build_pagetable (Results 1 – 1 of 1) sorted by relevance
472 static void build_pagetable(uint32_t *pgtable) in build_pagetable() function498 build_pagetable(pgtable); in cpu_jump_to_64bit()531 build_pagetable(pgtable); in cpu_jump_to_64bit_uboot()