Searched defs:pgtable (Results 1 – 1 of 1) sorted by relevance
472 static void build_pagetable(uint32_t *pgtable) in build_pagetable()492 uint32_t *pgtable; in cpu_jump_to_64bit() local523 uint32_t *pgtable; in cpu_jump_to_64bit_uboot() local