VAL32              76 crypto/michael.c 	VAL32(digest) = letoh32(ctx->michael_l);
VAL32              77 crypto/michael.c 	VAL32(digest + MICHAEL_RAW_BLOCK_LENGTH) = letoh32(ctx->michael_r);
VAL32              84 crypto/michael.c 	    htole32(VAL32(key));
VAL32              86 crypto/michael.c 	    htole32(VAL32(key + MICHAEL_RAW_BLOCK_LENGTH));