NXE_1_SW_BOOTLD_CONFIG 1566 dev/pci/if_nxe.c 		r = nxe_crb_read(sc, NXE_1_SW_BOOTLD_CONFIG);
NXE_1_SW_BOOTLD_CONFIG 1575 dev/pci/if_nxe.c 			nxe_crb_write(sc, NXE_1_SW_BOOTLD_CONFIG, 0);