Symbol: _get64
sys/dev/acpi/acpidmar.c
2774
address = _get64(&evt->dw2);
sys/dev/acpi/amd_iommu.h
220
uint64_t ov = _get64(&dte->dw4);
sys/dev/acpi/amd_iommu.h
251
ov = _get64(&dte->dw0) & ~DTE_HPTRP_MASK;