Symbol: NXE_1_SW_BOOTLD_CONFIG
sys/dev/pci/if_nxe.c
1721
r = nxe_crb_read(sc, NXE_1_SW_BOOTLD_CONFIG);
sys/dev/pci/if_nxe.c
1730
nxe_crb_write(sc, NXE_1_SW_BOOTLD_CONFIG, 0);