Searched defs:pgtable (Results 1 – 1 of 1) sorted by relevance
473 static void build_pagetable(uint32_t *pgtable) in build_pagetable()493 uint32_t *pgtable; in cpu_jump_to_64bit() local524 uint32_t *pgtable; in cpu_jump_to_64bit_uboot() local