Searched refs:capbuf (Results 1 - 3 of 3) sorted by path
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | msgbuf.h | 35 struct capref *capbuf, size_t capbuflen);
|
/barrelfish-2018-10-04/kernel/ |
H A D | capabilities.c | 1580 char capbuf[128]; local 1581 sprint_cap(capbuf, 128, &found_cte->cap); 1582 printk(LOG_NOTE, "%s: cap=%s\n", __FUNCTION__, capbuf); 1584 sprint_cap(capbuf, 128, found_cte->cap.u.frame_mapping.cap); 1586 __FUNCTION__, capbuf);
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | msgbuf.c | 21 struct capref *capbuf, size_t capbuflen) 29 msgbuf->caps = capbuf; 45 struct capref *capbuf; local 47 capbuf = malloc(sizeof(struct capref) * hintcaps); 48 if (capbuf == NULL) { 52 capbuf = NULL; 55 msgbuf_init_static(msgbuf, buf, hintlen, capbuf, hintcaps); 20 msgbuf_init_static(struct msgbuf *msgbuf, void *buf, size_t buflen, struct capref *capbuf, size_t capbuflen) argument
|
Completed in 55 milliseconds