Loading...
Searching...
No Matches
18#ifndef _BOILERPLATE_SCOPE_H
19#define _BOILERPLATE_SCOPE_H
24#include <xeno_config.h>
26typedef uintptr_t memoff_t;
28#ifdef CONFIG_XENO_PSHARED
30extern void *__main_heap;
32int pshared_check(
void *heap,
void *addr);
34#define dref_type(t) memoff_t
36#define __memoff(__base, __addr) ((memoff_t)((caddr_t)(__addr) - (caddr_t)(__base)))
37#define __memptr(__base, __off) ((void *)((caddr_t)(__base) + (__off)))
38#define __memchk(__base, __addr) pshared_check(__base, __addr)
40#define __moff(__p) __memoff(__main_heap, __p)
41#define __moff_nullable(__p) (__p ? __memoff(__main_heap, __p) : 0)
42#define __mptr(__off) __memptr(__main_heap, __off)
43#define __mptr_nullable(__off) (__off ? __memptr(__main_heap, __off) : NULL)
44#define __mchk(__p) __memchk(__main_heap, __p)
46#define mutex_scope_attribute PTHREAD_PROCESS_SHARED
47#define sem_scope_attribute 1
48#ifdef CONFIG_XENO_COBALT
49#define monitor_scope_attribute COBALT_MONITOR_SHARED
50#define event_scope_attribute COBALT_EVENT_SHARED
55#define __main_heap NULL
57#define dref_type(t) __typeof__(t)
59#define __memoff(__base, __addr) (__addr)
60#define __memptr(__base, __off) (__off)
61#define __memchk(__base, __addr) 1
63#define __moff(__p) (__p)
64#define __moff_nullable(__p) (__p)
65#define __mptr(__off) (__off)
66#define __mptr_nullable(__off) (__off)
69#define mutex_scope_attribute PTHREAD_PROCESS_PRIVATE
70#define sem_scope_attribute 0
71#ifdef CONFIG_XENO_COBALT
72#define monitor_scope_attribute 0
73#define event_scope_attribute 0