tavor_check_iommu_bypass
static void tavor_check_iommu_bypass(tavor_state_t *state,
tavor_check_iommu_bypass(state, cp);