Add timestamps for selfboot and acpi wake

[coreboot.git] / src / include / stdlib.h

diff --git a/src/include/stdlib.h b/src/include/stdlib.h
index c3052bd209007e62fb47e1aa29125fc8494f8fa6..45420d78764068de6f37852c0585b66ea756372b 100644 (file)
--- a/src/include/stdlib.h
+++ b/src/include/stdlib.h
@@ -11,14 +11,9 @@
 #define MIN(a,b) ((a) < (b) ? (a) : (b))
 #define MAX(a,b) ((a) > (b) ? (a) : (b))
 
-#ifndef __ROMCC__
-extern void *malloc(size_t size);
+#if !defined(__PRE_RAM__)
+void *malloc(size_t size);
 void free(void *ptr);
-
-/* Extensions to malloc... */
-typedef size_t malloc_mark_t;
-void malloc_mark(malloc_mark_t *place);
-void malloc_release(malloc_mark_t *place);
 #endif
 
 #endif /* STDLIB_H */