How are IOMMUs managed?