MOCK_NESTED_DOMAIN_IOTLB_NUM
u32 iotlb[MOCK_NESTED_DOMAIN_IOTLB_NUM];
for (i = 0; i < MOCK_NESTED_DOMAIN_IOTLB_NUM; i++)
for (j = 0; j < MOCK_NESTED_DOMAIN_IOTLB_NUM; j++)
for (i = 0; i < MOCK_NESTED_DOMAIN_IOTLB_NUM; i++) \