Searched defs:capability (Results 1 - 10 of 10) sorted by path
| /barrelfish-2018-10-04/doc/011-idc/ |
| H A D | IDC.tex | [all...] |
| /barrelfish-2018-10-04/doc/013-capability-mgmt/ |
| H A D | type_system.tex | [all...] |
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | debug.c | 339 struct capability capability; local
[all...] |
| H A D | monitor_client.c | 423 struct capability capability; member in union:__anon512
|
| /barrelfish-2018-10-04/lib/net_queue_manager/ |
| H A D | queue_manager.c | 371 struct capability capability; local
|
| /barrelfish-2018-10-04/tools/schedsim/ |
| H A D | simulator.c | 41 struct capability { struct
|
| /barrelfish-2018-10-04/usr/drivers/megaraid/ |
| H A D | megaraid.h | 566 } capability; // 0x00 member in struct:_MR_LD_RAID
|
| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | inter.c | 465 struct capability capability; local
[all...] |
| H A D | multihop_support.c | 1282 struct capability capability; local
1435 struct capability *capability = (struct capability *) &caprep; local
[all...] |
| H A D | ump_support.c | 54 struct capability capability; member in struct:bind_ump_request_state
153 struct capability capability; local
60 bind_ump_request_cont(struct intermon_binding *intermon_binding, iref_t iref, uintptr_t conn_id, uint32_t channel_length_in, uint32_t channel_length_out, struct frame_identity frameid, struct capability capability, struct monitor_binding *mb, struct capref frame, uintptr_t domain_id) argument
207 struct capability capability; member in struct:bind_ump_reply_state
210 bind_ump_reply_cont(struct intermon_binding *mon_binding, uintptr_t your_mon_id, uintptr_t my_mon_id, uintptr_t msgerr, struct capability capability) argument
287 struct capability capability; local
405 struct capability capability; local
565 struct capability capability; local
[all...] |
Completed in 119 milliseconds