Searched refs:t_vcharp (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/include/rcce/ |
H A D | RCCE.h | 91 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 D | RCCE_lib.h | 60 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 D | rcce.c | 35 t_vcharp RCCE_comm_buffer[RCCE_MAXNP]; // starts of MPB, sorted by rank
|
Completed in 36 milliseconds