Symbol: IWX_CSR_CTXT_INFO_ADDR
src/add-ons/kernel/drivers/network/wlan/iaxwifi200/dev/pci/if_iwx.c
1077
IWX_WRITE(sc, IWX_CSR_CTXT_INFO_ADDR, paddr & 0xffffffff);
src/add-ons/kernel/drivers/network/wlan/iaxwifi200/dev/pci/if_iwx.c
1078
IWX_WRITE(sc, IWX_CSR_CTXT_INFO_ADDR + 4, paddr >> 32);