} while (0)
 
 static
-void MichaelInitializeFunction(struct michel_mic_t *Mic, uint8_t * key)
+void MichaelInitializeFunction(struct michel_mic_t *Mic, uint8_t *key)
 {
        // Set the key
        Mic->K0 = getUInt32(key, 0);
 }while(0)
 
 static
-void MichaelAppend(struct michel_mic_t *Mic, uint8_t * src, int nBytes)
+void MichaelAppend(struct michel_mic_t *Mic, uint8_t *src, int nBytes)
 {
        int addlen;
        if (Mic->nBytesInM) {
 }
 
 static
-void MichaelGetMIC(struct michel_mic_t *Mic, uint8_t * dst)
+void MichaelGetMIC(struct michel_mic_t *Mic, uint8_t *dst)
 {
        uint8_t *data = Mic->M;
        switch (Mic->nBytesInM) {
        MichaelClear(Mic);
 }
 
-void MichaelMICFunction(struct michel_mic_t *Mic, uint8_t * Key,
-                       uint8_t * Data, int Len, uint8_t priority,
-                       uint8_t * Result)
+void MichaelMICFunction(struct michel_mic_t *Mic, uint8_t *Key,
+                       uint8_t *Data, int Len, uint8_t priority,
+                       uint8_t *Result)
 {
        uint8_t pad_data[4] = { priority, 0, 0, 0 };
        // Compute the MIC value