Searched refs:t_vcharp (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/rcce/
H A DRCCE.h91 typedef volatile unsigned char* t_vcharp; typedef
96 t_vcharp line_address; /* start of cache line containing flag */
135 t_vcharp RCCE_malloc(size_t);
136 t_vcharp RCCE_malloc_request(size_t, size_t *);
137 void RCCE_free(t_vcharp);
138 int RCCE_put(t_vcharp, t_vcharp, int, int);
139 int RCCE_get(t_vcharp, t_vcharp, int, int);
145 int RCCE_send(char *, t_vcharp, size_
[all...]
H A DRCCE_lib.h60 t_vcharp space; // pointer to space for data in block
68 t_vcharp line_address;
81 extern t_vcharp RCCE_buff_ptr;
83 extern t_vcharp RCCE_flags_start;
86 extern t_vcharp RCCE_comm_buffer[RCCE_MAXNP];
105 RCCE_FLAG_STATUS RCCE_bit_value(t_vcharp, int);
106 RCCE_FLAG_STATUS RCCE_flip_bit_value(t_vcharp, int);
107 int RCCE_write_bit_value(t_vcharp, int, RCCE_FLAG_STATUS);
112 void RCCE_malloc_init(t_vcharp, size_t);
121 t_vcharp RC_COMM_BUFFER_STAR
[all...]
/barrelfish-2018-10-04/lib/rcce/
H A Drcce.c35 t_vcharp RCCE_comm_buffer[RCCE_MAXNP]; // starts of MPB, sorted by rank

Completed in 36 milliseconds