Searched refs:VatosAddress (Results 1 – 3 of 3) sorted by relevance
824 UINT64 VatosAddress; member
418 {ACPI_DMT_UINT64, ACPI_IORT4_OFFSET (VatosAddress), "VATOS Address", 0},
2285 printf("\tVATOS Address=%016jx\n", (uintmax_t)smmu->VatosAddress); in acpi_print_iort_smmuv3()