Symbol: DTE_HPTRP_MASK
sys/dev/acpi/amd_iommu.h
251
ov = _get64(&dte->dw0) & ~DTE_HPTRP_MASK;
sys/dev/acpi/amd_iommu.h
252
ov |= (paddr & DTE_HPTRP_MASK) | PTE_IW | PTE_IR;