Searched refs:VTD_PTE_MASK (Results 1 – 2 of 2) sorted by relevance
| /openbsd/sys/dev/acpi/ | ||
| H A D | acpidmar.h | 26 #define VTD_PTE_MASK 0x0000FFFFFFFFF000LL macro |
| H A D | acpidmar.c | 470 npte = (void *)PMAP_DIRECT_MAP((pte->val & VTD_PTE_MASK)); in domain_map_page_intel() |