Searched refs:bufferid_t (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/lib/devif/
H A Dregion.h19 bufferid_t id;
/barrelfish-2018-10-04/include/devif/
H A Dqueue_interface.h19 typedef uint32_t bufferid_t; typedef
/barrelfish-2018-10-04/usr/drivers/ahcid/
H A Dtest.c241 bufferid_t *received = calloc(1, sizeof(bufferid_t) * read_requests);
320 bufferid_t *received = calloc(1, sizeof(bufferid_t) * requests);
343 memset((void*)received, 0x0, sizeof(bufferid_t)*requests);
/barrelfish-2018-10-04/usr/tests/devif/
H A Dqueue_interface.c63 bufferid_t bid;
81 static void print_buffer(size_t len, bufferid_t bid)
H A Dbench.c47 bufferid_t bid;
H A Ddebug_test.c52 bufferid_t bid;

Completed in 110 milliseconds