Searched refs:capbuf (Results 1 - 3 of 3) sorted by path

/barrelfish-2018-10-04/include/barrelfish/
H A Dmsgbuf.h35 struct capref *capbuf, size_t capbuflen);
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1580 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 Dmsgbuf.c21 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