Searched defs:xenbus_xb_write (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/ | ||
| H A D | xenbus.c | 444 void xenbus_xb_write(int type, int req_id, xenbus_transaction_t trans_id, function |
Completed in 76 milliseconds