Searched defs:bufVaddr (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/libs/librefos/src/ |
| H A D | share.c | 26 refos_share_get_base(char *bufVaddr) { argument
31 refos_share_get_start(char *bufVaddr) { argument
36 refos_share_get_end(char *bufVaddr) { argument
55 refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, argument
96 refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize, unsigned int *end) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
| H A D | share.c | 26 refos_share_get_base(char *bufVaddr) { argument
31 refos_share_get_start(char *bufVaddr) { argument
36 refos_share_get_end(char *bufVaddr) { argument
55 refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, argument
96 refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize, unsigned int *end) argument
[all...] |
Completed in 21 milliseconds