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);