Fixed writing em410x 40bits UID on T5555/T55x7 tags on 32bits systems

[proxmark3-svn] / armsrc / util.h

diff --git a/armsrc/util.h b/armsrc/util.h
index 621f3fe533da2da316ec659e5d704e9f1ff7f147..661b472d1439d273f22bdbf2c71c4da8f54d198c 100644 (file)
--- a/armsrc/util.h
+++ b/armsrc/util.h
@@ -1,9 +1,23 @@
+//-----------------------------------------------------------------------------
+// Jonathan Westhues, Aug 2005
+//
+// This code is licensed to you under the terms of the GNU GPL, version 2 or,
+// at your option, any later version. See the LICENSE.txt file for the text of
+// the license.
+//-----------------------------------------------------------------------------
+// Utility functions used in many places, not specific to any piece of code.
+//-----------------------------------------------------------------------------
+
 #ifndef __UTIL_H
 #define __UTIL_H
 
 #include <stddef.h>
 #include <stdint.h>
 
+#define RAMFUNC __attribute((long_call, section(".ramfunc")))
+
+#define BYTEx(x, n) (((x) >> (n * 8)) & 0xff )
+
 #define LED_RED 1
 #define LED_ORANGE 2
 #define LED_GREEN 4
@@ -13,11 +27,8 @@
 #define BUTTON_SINGLE_CLICK -1
 #define BUTTON_DOUBLE_CLICK -2
 #define BUTTON_ERROR -99
-int strlen(const char *str);
-void *memcpy(void *dest, const void *src, int len);
-void *memset(void *dest, int c, int len);
-int memcmp(const void *av, const void *bv, int len);
-char *strncat(char *dest, const char *src, unsigned int n);
+
+uint32_t SwapBits(uint32_t value, int nrbits);
 void num_to_bytes(uint64_t n, size_t len, uint8_t* dest);
 uint64_t bytes_to_num(uint8_t* src, size_t len);
 
@@ -29,4 +40,11 @@ int BUTTON_CLICKED(int ms);
 int BUTTON_HELD(int ms);
 void FormatVersionInformation(char *dst, int len, const char *prefix, void *version_information);
 
-#endif
\ No newline at end of file
+void StartTickCount();
+uint32_t RAMFUNC GetTickCount();
+
+void StartCountUS();
+uint32_t RAMFUNC GetCountUS();
+uint32_t RAMFUNC GetDeltaCountUS();
+
+#endif