Searched refs:pt_base (Results 1 – 2 of 2) sorted by relevance
| /f-stack/freebsd/amd64/vmm/amd/ | ||
| H A D | amdvi_priv.h | 74 uint64_t pt_base:40; /* Page table root pointer. */ member |
| H A D | amdvi_hw.c | 1324 temp->pt_base = vtophys(domain->ptp) >> 12; in amdvi_set_dte() |