Searched refs:i386_pde_pae_t (Results 1 – 2 of 2) sorted by relevance
307 i386_pde_pae_t pde; in _i386_vatop_pae()314 i386_pde_pae_t *PTD; in _i386_vatop_pae()317 PTD = (i386_pde_pae_t *)vm->PTD; in _i386_vatop_pae()
39 typedef uint64_t i386_pde_pae_t; typedef