213 	EFSYS_ASSERT3U(family, >, EFX_FAMILY_INVALID);  in efx_nic_create()
214 	EFSYS_ASSERT3U(family, <, EFX_FAMILY_NTYPES);  in efx_nic_create()
334 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_probe()
336 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_MCDI);  in efx_nic_probe()
390 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_set_drv_limits()
391 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_set_drv_limits()
416 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_get_bar_region()
417 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_get_bar_region()
418 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_NIC);  in efx_nic_get_bar_region()
451 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_get_vi_pool()
452 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_get_vi_pool()
453 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_NIC);  in efx_nic_get_vi_pool()
486 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_init()
487 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_init()
515 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_fini()
534 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_unprobe()
536 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_MCDI);  in efx_nic_unprobe()
538 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_unprobe()
558 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_destroy()
559 	EFSYS_ASSERT3U(enp->en_mod_flags, ==, 0);  in efx_nic_destroy()
582 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_reset()
599 	EFSYS_ASSERT3U(mod_flags, ==, 0);  in efx_nic_reset()
622 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_cfg_get()
623 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_cfg_get()
641 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_MCDI);  in efx_nic_get_fw_version()
642 	EFSYS_ASSERT3U(enp->en_features, &, EFX_FEATURE_MCDI);  in efx_nic_get_fw_version()
695 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_hw_unavailable()
715 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_set_hw_unavailable()
730 	EFSYS_ASSERT3U(enp->en_magic, ==, EFX_NIC_MAGIC);  in efx_nic_register_test()
731 	EFSYS_ASSERT3U(enp->en_mod_flags, &, EFX_MOD_PROBE);  in efx_nic_register_test()
756 	EFSYS_ASSERT3U(loopback_kind, <, EFX_LOOPBACK_NKINDS);  in efx_loopback_mask()