MOCK_NESTED_DOMAIN_IOTLB_ID_MAX
if (iotlb_id > MOCK_NESTED_DOMAIN_IOTLB_ID_MAX ||
if (inv.iotlb_id > MOCK_NESTED_DOMAIN_IOTLB_ID_MAX) {
inv_reqs[0].iotlb_id = MOCK_NESTED_DOMAIN_IOTLB_ID_MAX + 1;
inv_reqs[1].iotlb_id = MOCK_NESTED_DOMAIN_IOTLB_ID_MAX + 1;