Searched refs:gbdf (Results 1 – 1 of 1) sorted by relevance
399 uint16_t gbdf, mbdf, req_id, gdom_id, hdom_id; in do_invalidate_dte() local409 gbdf = iommu_get_devid_from_cmd(cmd->data[0]); in do_invalidate_dte()410 mbdf = machine_bdf(d, gbdf); in do_invalidate_dte()413 if ( mbdf == 0 || gbdf == 0 ) in do_invalidate_dte()417 if ( (gbdf * sizeof(dev_entry_t)) > g_iommu->dev_table.size ) in do_invalidate_dte()422 sizeof(dev_entry_t), gbdf); in do_invalidate_dte()428 gdte = dte_base + gbdf % (PAGE_SIZE / sizeof(dev_entry_t)); in do_invalidate_dte()
Completed in 3 milliseconds