Searched defs:pgtbl (Results 1 – 2 of 2) sorted by relevance
115 int init_pae_pagetables(void *pgtbl) in init_pae_pagetables()168 void pae_map_2M_page(void *pgtbl, uint64_t paddr, void *vmem_addr) in pae_map_2M_page()221 int memset_pae(uint64_t dest, unsigned char pat, uint64_t length, void *pgtbl, in memset_pae()
58 uintptr_t pgtbl, vmem_addr; in clear_memory() local