Symbol: _put64
sys/dev/acpi/amd_iommu.h
221
_put64(&dte->dw4, (ov & ~DTE_IRTP_MASK) | (paddr & DTE_IRTP_MASK));
sys/dev/acpi/amd_iommu.h
254
_put64(&dte->dw0, ov);