/* Init the device table to not allow DMA access for devices and suppress all page faults  */
static void init_device_table(void)
/* Init the device table to not allow DMA access for devices and suppress all page faults  */
static void init_device_table(void)
{
	u16 devid;
	for (devid = 0; devid <= amd_iommu_last_bdf; ++devid) {
		set_dev_entry_bit(devid, DEV_ENTRY_VALID);
		set_dev_entry_bit(devid, DEV_ENTRY_TRANSLATION);
	}
}