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