WILC_TX_MIC_KEY_LEN 1205 drivers/staging/wilc1000/wilc_hif.c u8 t_key_len = ptk_key_len + WILC_RX_MIC_KEY_LEN + WILC_TX_MIC_KEY_LEN; WILC_TX_MIC_KEY_LEN 1231 drivers/staging/wilc1000/wilc_hif.c tx_mic, WILC_TX_MIC_KEY_LEN); WILC_TX_MIC_KEY_LEN 1258 drivers/staging/wilc1000/wilc_hif.c tx_mic, WILC_TX_MIC_KEY_LEN); WILC_TX_MIC_KEY_LEN 1278 drivers/staging/wilc1000/wilc_hif.c int t_key_len = gtk_key_len + WILC_RX_MIC_KEY_LEN + WILC_TX_MIC_KEY_LEN; WILC_TX_MIC_KEY_LEN 1300 drivers/staging/wilc1000/wilc_hif.c tx_mic, WILC_TX_MIC_KEY_LEN);