Searched refs:WATCH_MESSAGE_PART_ADD (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ | ||
H A D | busdev_user.c | 378 #define WATCH_MESSAGE_PART_ADD(calcpartsz, fill) \ macro 383 WATCH_MESSAGE_PARTS(WATCH_MESSAGE_PART_ADD); |
Completed in 81 milliseconds