Searched refs:capabilities (Results 1 - 25 of 73) sorted by relevance

123

/barrelfish-master/kernel/include/arch/arm/
H A Dsyscall_arm.h18 #include <capabilities.h>
/barrelfish-master/usr/drivers/iommu/modules/intel_vtd/
H A Dintel_vtd.c53 vtd->capabilities.queued_invalidation = vtd_ECAP_qis_rdf(&vtd->vtd_dev);
55 vtd->capabilities.queued_invalidation);
62 vtd->capabilities.interrupt_remapping = vtd_ECAP_ir_rdf(&vtd->vtd_dev);
63 assert(!vtd->capabilities.interrupt_remapping ||
64 (vtd->capabilities.interrupt_remapping && vtd->capabilities.queued_invalidation));
66 vtd->capabilities.interrupt_remapping);
78 if (vtd->capabilities.interrupt_remapping) {
79 vtd->capabilities.extended_interrupt_mode = vtd_ECAP_eim_rdf(&vtd->vtd_dev);
81 vtd->capabilities
[all...]
/barrelfish-master/kernel/include/arch/x86/
H A Dsyscall.h18 #include <capabilities.h>
/barrelfish-master/kernel/include/
H A Ddistcaps.h15 #include <barrelfish_kpi/capabilities.h>
18 #include <capabilities.h>
H A Dsys_debug.h22 #include <capabilities.h>
H A Ddispatch.h20 #include <capabilities.h>
H A Dkcb.h19 #include <capabilities.h>
/barrelfish-master/lib/blk/dma_mem/
H A Ddma_mem.h14 #include <barrelfish/capabilities.h>
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_allocators_arch.c17 #include <barrelfish/capabilities.h>
/barrelfish-master/include/barrelfish/
H A Dbarrelfish.h34 #include <barrelfish_kpi/capabilities.h>
44 #include <barrelfish/capabilities.h>
/barrelfish-master/include/arch/x86/barrelfish/
H A Dipi_notify.h19 #include <barrelfish/capabilities.h>
/barrelfish-master/include/target/x86/barrelfish/
H A Dpmap_target.h19 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/include/mdb/
H A Dmdb.h17 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/kernel/arch/x86_32/
H A Dentry.S16 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/usr/kaluga/
H A Dint_caps.c2 #include <barrelfish/capabilities.h>
/barrelfish-master/usr/bench/mdb_bench/
H A Dold_mdb.c4 #include <barrelfish_kpi/capabilities.h>
6 #include <capabilities.h>
/barrelfish-master/include/arch/x86_64/barrelfish/
H A Dcapabilities_arch.h22 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/include/barrelfish_kpi/
H A Ddistcaps.h16 #include <barrelfish_kpi/capabilities.h>
44 * Predicates related to sharing capabilities
/barrelfish-master/include/arch/aarch64/barrelfish/
H A Dcapabilities_arch.h22 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/include/arch/arm/barrelfish/
H A Dcapabilities_arch.h22 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/kernel/include/arch/armv7/
H A Dpaging_kernel_arch.h19 #include <capabilities.h>
/barrelfish-master/kernel/include/arch/k1om/kernel_boot_param/
H A Dscreen_info.h61 uint32_t capabilities; /* 0x36 */ member in struct:screen_info
/barrelfish-master/kernel/arch/x86/
H A Dperfmon.c20 #include <capabilities.h>
/barrelfish-master/usr/monitor/include/
H A Dcapops.h15 #include <barrelfish_kpi/capabilities.h>
/barrelfish-master/doc/013-capability-mgmt/
H A Dtype_system.tex4 In this chapter, we cover the type model of capabilities and the
15 means that capabilities of the type may be created only through a
17 that capabilities of the type may be created by retyping an existing
18 capability. For primitive types, we specify how the capabilities of
24 create one or more new capabilities of the same or different
29 parameters when \emph{minting} capabilities. We specify for each
62 A CNode refers to an array of capabilities of some power-of-two size.
93 \item[Origin] Retyping from RAM type capabilities
109 system if the receiver only ever tries to copy capabilities out of the
113 capabilities store
[all...]

Completed in 153 milliseconds

123