Searched refs:IdMappingIndex (Results 1 – 3 of 3) sorted by relevance
831 UINT32 IdMappingIndex; member
425 {ACPI_DMT_UINT32, ACPI_IORT4_OFFSET (IdMappingIndex), "Device ID Mapping Index", 0},
2309 printf("\tDevice ID mapping index=%u\n", smmu->IdMappingIndex); in acpi_print_iort_smmuv3()