Lines Matching refs:ptable
1024 // get ptable
1025 union x86_64_pdir_entry *ptable = (union x86_64_pdir_entry *)pdir_lv + ptable_index;
1026 pt = (union x86_64_ptable_entry *)ptable;
1027 if (!ptable->raw) { continue; }
1028 // check if ptable or large page
1038 genpaddr_t paddr = (genpaddr_t)ptable->d.base_addr << BASE_PAGE_BITS;
1041 ptable->d.read_write, ptable->d.user_supervisor,
1042 ptable->raw);
1044 genpaddr_t ptable_gp = ptable->d.base_addr << BASE_PAGE_BITS;