Searched defs:KernelCmd_Create_cap (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ | ||
| H A D | capabilities.h | 482 KernelCmd_Create_cap, ///< Create a new capability enumerator in enum:kernel_cmd |
Completed in 28 milliseconds