Searched refs:pt_base (Results 1 – 3 of 3) sorted by relevance
772 unsigned long pt_base; /* VIRTUAL address of page directory. */ member
74 uint64_t pt_base:40; /* Page table root pointer. */ member
1329 temp->pt_base = vtophys(domain->ptp) >> 12; in amdvi_set_dte()