3 #include <l4/sys/types.h>
4 #include <l4/sys/kip.h>
6 extern l4_kernel_info_t *_current_kip;
12 #define CLOCK_TYPE l4_cpu_time_t
13 #define CLOCKS_PER_SEC 1000000
14 #define MS_TIME_DIFF(a,b) ((long)((a)-(b)))
15 #define GET_TIME(x) x = l4_kip_clock(_current_kip)
18 #define MARK_BIT_PER_GRANULE
19 #undef MARK_BIT_PER_OBJ
26 #define ALL_INTERIOR_POINTERS
27 #define JAVA_FINALIZATION
32 #if defined(GC_ADD_CALLER)
36 #if defined(SAVE_CALL_CHAIN)
37 #undef SAVE_CALL_CHAIN
40 #define STACK_GROWS_DOWN
42 extern void *__libc_stack_end;
43 //#define STACKBOTTOM __libc_stack_end
47 # define CPP_WORDSZ 64
50 # define CPP_WORDSZ 32
58 # define STATIC /* ignore to aid profiling and possibly debugging */
60 # define STATIC static
64 struct hblk *GC_get_mem(size_t bytes);
65 #define GET_MEM(bytes) GC_get_mem(bytes)
67 #if defined(FIXUP_POINTER)
68 # define NEED_FIXUP_POINTER 1
70 # define NEED_FIXUP_POINTER 0
71 # define FIXUP_POINTER(p)
79 #ifndef PREFETCH_FOR_WRITE
80 # define PREFETCH_FOR_WRITE(x)
81 # define NO_PREFETCH_FOR_WRITE
84 # ifndef CACHE_LINE_SIZE
85 # define CACHE_LINE_SIZE 32 /* Wild guess */
91 # define CLEAR_DOUBLE(x) \
94 # endif /* CLEAR_DOUBLE */