Searched refs:Capability (Results 1 - 8 of 8) sorted by relevance
| /barrelfish-2018-10-04/tools/ |
| H A D | create_mdb_dot.py | 58 class Capability(object): class in inherits:object
97 nodes[int(kaddr, 0)] = Capability(cap)
|
| /barrelfish-2018-10-04/doc/013-capability-mgmt/ |
| H A D | type_system.tex | 100 Capability rights and rights masks are currently not implemented.
121 rightsmask 8 "Capability rights mask";
128 rightsmask 8 "Capability rights mask";
137 \arg Capability of the source cspace root CNode to invoke
156 \arg Capability of the source cspace root CNode to invoke
157 \arg Capability address of destination root cnode relative to our cspace
160 \arg Capability address of source root cnode relative to our cspace
171 \arg Capability of the source cspace root CNode to invoke
226 \arg Capability of the CNode to invoke
234 \arg Capability o
[all...] |
| /barrelfish-2018-10-04/doc/012-services/ |
| H A D | Services.tex | 76 \item Capability Management
118 \subsection{Capability Management}
120 % Category: Capability Management
191 % Category: Capability Management
387 \item Capability Management
439 %% \item[Capability Management] services that manage capabilities,
595 \subsection{Capability Management}
908 Capability Management & P & High & implemented by combination of monitor and
|
| /barrelfish-2018-10-04/lib/acpica/source/include/ |
| H A D | actbl2.h | 646 /* 2: Root Port ATS Capability Reporting Structure */
1743 UINT16 Capability; member in struct:acpi_table_wddt
1757 /* Flags for Capability field above */
|
| /barrelfish-2018-10-04/doc/004-virtual_memory/ |
| H A D | VirtualMemory.tex | 113 \section{Capability invocations}
|
| /barrelfish-2018-10-04/lib/acpica/source/common/ |
| H A D | dmtbinfo.c | 981 /* 2: Root Port ATS Capability Definition */
1338 {ACPI_DMT_UINT64, ACPI_HEST0_OFFSET (GlobalCapabilityData), "Global Capability Data", 0},
1685 {ACPI_DMT_UINT16, ACPI_IVRS0_OFFSET (CapabilityOffset), "Capability Offset", 0},
2955 {ACPI_DMT_UINT16, ACPI_WDDT_OFFSET (Capability), "Capability (decoded below)", 0},
2957 /* Capability Flags byte 0 */
2959 {ACPI_DMT_FLAG0, ACPI_WDDT_FLAG_OFFSET (Capability,0), "Auto Reset", 0},
2960 {ACPI_DMT_FLAG1, ACPI_WDDT_FLAG_OFFSET (Capability,0), "Timeout Alert", 0},
|
| /barrelfish-2018-10-04/doc/000-overview/ |
| H A D | Overview.tex | 231 \item Capability management (maintaining the domain's cspace),
271 \subfloat[Capability Hierarchy]{\label{fig:cap_hierarchy}\includegraphics[width=0.5\textwidth]{cap_heirarchy.pdf}}
835 \item \textbf{Capability Management in Barrelfish:} Documentation
|
| /barrelfish-2018-10-04/doc/006-routing/ |
| H A D | Routing.tex | 240 \section{Capability forwarding}
|
Completed in 445 milliseconds