FR_AZ_INT_ADR_KER 1697 drivers/net/ethernet/sfc/falcon/farch.c 	ef4_writeo(efx, &temp, FR_AZ_INT_ADR_KER);
FR_AZ_INT_ADR_KER 1755 drivers/net/ethernet/sfc/farch.c 	efx_writeo(efx, &temp, FR_AZ_INT_ADR_KER);