18 #ifndef _BOILERPLATE_SCOPE_H
19 #define _BOILERPLATE_SCOPE_H
21 #include <sys/types.h>
24 #include <xeno_config.h>
26 typedef uintptr_t memoff_t;
28 #ifdef CONFIG_XENO_PSHARED
30 extern void *__main_heap;
32 int pshared_check(
void *heap,
void *addr);
34 #define dref_type(t) memoff_t
35 #define __memoff(base, addr) ((caddr_t)(addr) - (caddr_t)(base))
36 #define __memptr(base, off) ((caddr_t)(base) + (off))
37 #define __memchk(base, addr) pshared_check(base, addr)
39 #define mutex_scope_attribute PTHREAD_PROCESS_SHARED
40 #define sem_scope_attribute 1
41 #ifdef CONFIG_XENO_COBALT
42 #define monitor_scope_attribute COBALT_MONITOR_SHARED
43 #define event_scope_attribute COBALT_EVENT_SHARED
48 #define __main_heap NULL
50 #define dref_type(t) __typeof__(t)
51 #define __memoff(base, addr) (addr)
52 #define __memptr(base, off) (off)
53 #define __memchk(base, addr) 1
55 #define mutex_scope_attribute PTHREAD_PROCESS_PRIVATE
56 #define sem_scope_attribute 0
57 #ifdef CONFIG_XENO_COBALT
58 #define monitor_scope_attribute 0
59 #define event_scope_attribute 0