Searched refs:cap (Results 1 - 25 of 153) sorted by relevance

1234567

/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Ddebug.h28 void debug_cap_identify(seL4_CPtr cap);
30 static inline int debug_cap_is_valid(seL4_CPtr cap) argument
32 return (0 != seL4_DebugCapIdentify(cap));
35 static inline int debug_cap_is_endpoint(seL4_CPtr cap) argument
39 return (4 == seL4_DebugCapIdentify(cap));
42 static inline int debug_cap_is_notification(seL4_CPtr cap) argument
46 return (6 == seL4_DebugCapIdentify(cap));
/seL4-refos-master/libs/libsel4debug/include/sel4debug/
H A Ddebug.h28 void debug_cap_identify(seL4_CPtr cap);
30 static inline int debug_cap_is_valid(seL4_CPtr cap) argument
32 return (0 != seL4_DebugCapIdentify(cap));
35 static inline int debug_cap_is_endpoint(seL4_CPtr cap) argument
39 return (4 == seL4_DebugCapIdentify(cap));
42 static inline int debug_cap_is_notification(seL4_CPtr cap) argument
46 return (6 == seL4_DebugCapIdentify(cap));
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dobjecttype.c23 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
27 switch (cap_get_capType(cap)) {
29 if (cap_page_table_cap_get_capPTIsMapped(cap)) {
30 ret.cap = cap;
33 userError("Deriving an unmapped PT cap");
35 ret.cap = cap_null_cap_new();
41 if (cap_page_directory_cap_get_capPDIsMapped(cap)) {
42 ret.cap = cap;
141 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
167 Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
180 Arch_finaliseCap(cap_t cap, bool_t final) argument
504 Arch_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer ) argument
549 Arch_postCapDeletion(cap_t cap) argument
[all...]
H A Diospace.c40 static vtd_cte_t *lookup_vtd_context_slot(cap_t cap) argument
49 switch (cap_get_capType(cap)) {
51 pci_request_id = cap_io_space_cap_get_capPCIDevice(cap);
55 pci_request_id = cap_io_page_table_cap_get_capIOPTIOASID(cap);
59 pci_request_id = cap_frame_cap_get_capFMappedASID(cap);
63 fail("Invalid cap type");
122 void unmapVTDContextEntry(cap_t cap) argument
124 vtd_cte_t *cte = lookup_vtd_context_slot(cap);
141 static exception_t performX86IOPTInvocationUnmap(cap_t cap, cte_t *ctSlot) argument
143 deleteIOPageTable(cap);
150 performX86IOPTInvocationMapContextRoot(cap_t cap, cte_t *ctSlot, vtd_cte_t vtd_cte, vtd_cte_t *vtd_context_slot) argument
160 performX86IOPTInvocationMapPT(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *ioptSlot) argument
169 decodeX86IOPTInvocation( word_t invLabel, word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
287 performX86IOInvocationMap(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *ioptSlot) argument
297 decodeX86IOMapInvocation( word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
455 unmapIOPage(cap_t cap) argument
491 performX86IOUnMapInvocation(cap_t cap, cte_t *ctSlot) argument
502 decodeX86IOSpaceInvocation(word_t invLabel, cap_t cap) argument
[all...]
/seL4-refos-master/kernel/include/arch/arm/arch/object/
H A Diospace.h16 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps,
18 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps,
20 exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot);
21 exception_t decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap);
22 void unmapIOPage(cap_t cap);
23 void deleteIOPageTable(cap_t cap);
24 void clearIOPageDirectory(cap_t cap);
34 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
40 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
46 static inline exception_t performPageInvocationUnmapIO(cap_t cap, cte_ argument
51 decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap) argument
56 unmapIOPage(cap_t cap) argument
60 deleteIOPageTable(cap_t cap) argument
64 clearIOPageDirectory(cap_t cap) argument
[all...]
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h110 static inline cap_t CONST cap_small_frame_cap_set_capFMappedASID(cap_t cap, word_t asid) argument
112 cap = cap_small_frame_cap_set_capFMappedASIDLow(cap,
114 return cap_small_frame_cap_set_capFMappedASIDHigh(cap,
118 static inline word_t CONST cap_small_frame_cap_get_capFMappedASID(cap_t cap) argument
120 return (cap_small_frame_cap_get_capFMappedASIDHigh(cap) << asidLowBits) +
121 cap_small_frame_cap_get_capFMappedASIDLow(cap);
124 static inline cap_t CONST cap_frame_cap_set_capFMappedASID(cap_t cap, word_t asid) argument
126 cap = cap_frame_cap_set_capFMappedASIDLow(cap,
132 cap_frame_cap_get_capFMappedASID(cap_t cap) argument
138 generic_frame_cap_get_capFMappedASID(cap_t cap) argument
154 generic_frame_cap_set_capFMappedAddress(cap_t cap, word_t asid, word_t addr) argument
179 generic_frame_cap_get_capFVMRights(cap_t cap) argument
199 generic_frame_cap_get_capFBasePtr(cap_t cap) argument
219 generic_frame_cap_get_capFSize(cap_t cap) argument
239 generic_frame_cap_get_capFIsMapped(cap_t cap) argument
244 generic_frame_cap_get_capFMappedAddress(cap_t cap) argument
259 generic_frame_cap_get_capFIsDevice(cap_t cap) argument
274 cap_get_archCapSizeBits(cap_t cap) argument
312 cap_get_archCapIsPhysical(cap_t cap) argument
354 cap_get_archCapPtr(cap_t cap) argument
[all...]
/seL4-refos-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c30 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
34 switch (cap_get_capType(cap)) {
36 if (cap_page_global_directory_cap_get_capPGDIsMapped(cap)) {
37 ret.cap = cap;
40 userError("Deriving a PDG cap without an assigned ASID");
42 ret.cap = cap_null_cap_new();
48 if (cap_page_upper_directory_cap_get_capPUDIsMapped(cap)) {
49 ret.cap = cap;
119 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
124 Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
138 Arch_finaliseCap(cap_t cap, bool_t final) argument
474 Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
[all...]
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h62 static inline asid_t CONST cap_frame_cap_get_capFMappedASID(cap_t cap) argument
65 (cap_frame_cap_get_capFMappedASIDHigh(cap) << asidLowBits) +
66 cap_frame_cap_get_capFMappedASIDLow(cap);
69 static inline cap_t CONST cap_frame_cap_set_capFMappedASID(cap_t cap, word_t asid) argument
71 cap = cap_frame_cap_set_capFMappedASIDLow(cap, ASID_LOW(asid));
72 return cap_frame_cap_set_capFMappedASIDHigh(cap, ASID_HIGH(asid));
75 static inline asid_t PURE cap_frame_cap_ptr_get_capFMappedASID(cap_t *cap) argument
77 return cap_frame_cap_get_capFMappedASID(*cap);
80 static inline void cap_frame_cap_ptr_set_capFMappedASID(cap_t *cap, asid_ argument
85 cap_get_capMappedASID(cap_t cap) argument
105 cap_get_modeCapSizeBits(cap_t cap) argument
110 cap_get_modeCapIsPhysical(cap_t cap) argument
115 cap_get_modeCapPtr(cap_t cap) argument
[all...]
/seL4-refos-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c36 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
40 switch (cap_get_capType(cap)) {
42 if (cap_page_table_cap_get_capPTIsMapped(cap)) {
43 ret.cap = cap;
46 userError("Deriving an unmapped PT cap");
48 ret.cap = cap_null_cap_new();
54 if (cap_page_directory_cap_get_capPDIsMapped(cap)) {
55 ret.cap = cap;
115 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
120 Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
143 Arch_finaliseCap(cap_t cap, bool_t final) argument
536 Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer) argument
[all...]
/seL4-refos-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c35 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap) argument
39 switch (cap_get_capType(cap)) {
41 cap = cap_frame_cap_set_capFMapType(cap, X86_MappingNone);
42 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid);
49 fail("Invalid arch cap type");
53 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final) argument
57 switch (cap_get_capType(cap)) {
60 if (cap_frame_cap_get_capFMappedASID(cap)) {
193 Mode_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
[all...]
/seL4-refos-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c37 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap) argument
41 switch (cap_get_capType(cap)) {
43 if (cap_pml4_cap_get_capPML4IsMapped(cap)) {
44 ret.cap = cap;
47 userError("Deriving a PML4 cap without an assigned ASID");
49 ret.cap = cap_null_cap_new();
55 if (cap_pdpt_cap_get_capPDPTIsMapped(cap)) {
56 ret.cap = cap;
77 Mode_finaliseCap(cap_t cap, bool_t final) argument
317 Mode_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
[all...]
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c95 cap_t ep_cap = TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap;
138 (void *)cap_untyped_cap_get_capPtr(slot->cap),
139 (long unsigned int)cap_untyped_cap_get_capBlockSize(slot->cap),
140 (long unsigned int)cap_untyped_cap_get_capBlockSize(slot->cap),
141 WORD_PTR(cap_untyped_cap_get_capPtr(slot->cap)));
148 if (!sameRegionAs(slot->cap, nextPtr->cap)) {
150 * - this will print out the attributes of the cap, which it shouldn't
152 * - might be a pathological case where an untyped has a child cap that
156 print_cap(nextPtr->cap);
330 cap_t cap = intStateIRQNode[IRQT_TO_IDX(irq)].cap; local
405 print_cap(cap_t cap) argument
470 print_object(cap_t cap) argument
[all...]
/seL4-refos-master/kernel/src/object/
H A Dobjecttype.c62 deriveCap_ret_t deriveCap(cte_t *slot, cap_t cap) argument
66 if (isArchCap(cap)) {
67 return Arch_deriveCap(slot, cap);
70 switch (cap_get_capType(cap)) {
73 ret.cap = cap_null_cap_new();
78 ret.cap = cap_null_cap_new();
84 ret.cap = cap_null_cap_new();
86 ret.cap = cap;
93 ret.cap
104 finaliseCap(cap_t cap, bool_t final, bool_t exposed) argument
260 hasCancelSendRights(cap_t cap) argument
394 updateCapData(bool_t preserve, word_t newData, cap_t cap) argument
440 maskCapRights(seL4_CapRights_t cap_rights, cap_t cap) argument
605 cap_t cap = createObject(t, (void *)((word_t)nextFreeArea + (i << objectSize)), userSize, deviceMemory); local
615 decodeInvocation(word_t invLabel, word_t length, cptr_t capIndex, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t block, bool_t call, bool_t canDonate, bool_t firstPhase, word_t *buffer) argument
[all...]
/seL4-refos-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c16 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
20 switch (cap_get_capType(cap)) {
23 if (cap_page_table_cap_get_capPTIsMapped(cap)) {
24 ret.cap = cap;
27 userError("Deriving an unmapped PT cap");
29 ret.cap = cap_null_cap_new();
35 cap = cap_frame_cap_set_capFMappedAddress(cap, 0);
36 ret.cap
53 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
58 Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
71 Arch_finaliseCap(cap_t cap, bool_t final) argument
291 Arch_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer ) argument
[all...]
/seL4-refos-master/libs/libsel4debug/src/
H A Dcaps.c19 void debug_cap_identify(seL4_CPtr cap) argument
22 int type = seL4_DebugCapIdentify(cap);
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Dcaps.c19 void debug_cap_identify(seL4_CPtr cap) argument
22 int type = seL4_DebugCapIdentify(cap);
/seL4-refos-master/kernel/include/object/
H A Dobjecttype.h14 #include <object/cap.h>
18 deriveCap_ret_t deriveCap(cte_t *slot, cap_t cap);
19 finaliseCap_ret_t finaliseCap(cap_t cap, bool_t final, bool_t exposed);
20 bool_t CONST hasCancelSendRights(cap_t cap);
23 cap_t CONST updateCapData(bool_t preserve, word_t newData, cap_t cap);
24 cap_t CONST maskCapRights(seL4_CapRights_t seL4_CapRights, cap_t cap);
30 cptr_t capIndex, cte_t *slot, cap_t cap,
41 cptr_t capIndex, cte_t *slot, cap_t cap,
53 static inline void postCapDeletion(cap_t cap) argument
55 if (cap_get_capType(cap)
[all...]
H A Dstructures.h125 static inline word_t CONST cap_zombie_cap_get_capZombieBits(cap_t cap) argument
127 word_t type = cap_zombie_cap_get_capZombieType(cap);
134 static inline word_t CONST cap_zombie_cap_get_capZombieNumber(cap_t cap) argument
136 word_t radix = cap_zombie_cap_get_capZombieBits(cap);
137 return cap_zombie_cap_get_capZombieID(cap) & MASK(radix + 1);
140 static inline word_t CONST cap_zombie_cap_get_capZombiePtr(cap_t cap) argument
142 word_t radix = cap_zombie_cap_get_capZombieBits(cap);
143 return cap_zombie_cap_get_capZombieID(cap) & ~MASK(radix + 1);
146 static inline cap_t CONST cap_zombie_cap_set_capZombieNumber(cap_t cap, word_t n) argument
148 word_t radix = cap_zombie_cap_get_capZombieBits(cap);
155 cap_t cap; member in struct:cte
421 isArchCap(cap_t cap) argument
426 cap_get_capSizeBits(cap_t cap) argument
493 cap_get_capIsPhysical(cap_t cap) argument
545 cap_get_capPtr(cap_t cap) argument
[all...]
H A Dcap.h11 cap_t cap; member in struct:deriveCap_ret
17 /* potential cap holding information for cleanup that needs to be happen *after* a
18 * cap has been deleted. Where deleted here means been removed from the slot in emptySlot */
/seL4-refos-master/kernel/include/arch/x86/arch/object/
H A Dobjecttype.h15 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap);
16 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap);
17 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap);
18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
30 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap);
31 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final);
34 exception_t Mode_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
38 void Arch_postCapDeletion(cap_t cap);
H A Diospace.h37 exception_t decodeX86IOPTInvocation(word_t invLabel, word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps,
39 exception_t decodeX86IOMapInvocation(word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer);
40 exception_t decodeX86IOSpaceInvocation(word_t invLabel, cap_t cap);
41 exception_t performX86IOUnMapInvocation(cap_t cap, cte_t *ctSlot);
42 void unmapIOPage(cap_t cap);
43 void deleteIOPageTable(cap_t cap);
44 void unmapVTDContextEntry(cap_t cap);
H A Dtcb.h14 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t extraCaps);
/seL4-refos-master/kernel/src/arch/arm/object/
H A Diospace.c122 static exception_t performARMIOPTInvocationMap(cap_t cap, cte_t *slot, iopde_t *iopdSlot, argument
135 slot->cap = cap;
145 cap_t cap,
160 deleteIOPageTable(slot->cap);
161 slot->cap = cap_io_page_table_cap_set_capIOPTIsMapped(slot->cap, 0);
179 io_space = excaps.excaprefs[0]->cap;
182 if (cap_io_page_table_cap_get_capIOPTIsMapped(cap)) {
190 userError("IOPTMap: Invalid IOSpace cap
141 decodeARMIOPTInvocation( word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
226 performARMIOMapInvocation(cap_t cap, cte_t *slot, iopte_t *ioptSlot, iopte_t iopte) argument
243 decodeARMIOMapInvocation( word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
412 unmapIOPage(cap_t cap) argument
443 clearIOPageDirectory(cap_t cap) argument
459 performPageInvocationUnmapIO( cap_t cap, cte_t *slot ) argument
472 decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap) argument
[all...]
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dept.c56 exception_t performX86EPTPageInvocationUnmap(cap_t cap, cte_t *ctSlot) argument
59 cap_frame_cap_get_capFSize(cap),
60 cap_frame_cap_get_capFMappedASID(cap),
61 cap_frame_cap_get_capFMappedAddress(cap),
62 (void *)cap_frame_cap_get_capFBasePtr(cap)
65 cap_frame_cap_ptr_set_capFMappedAddress(&ctSlot->cap, 0);
66 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid);
67 cap_frame_cap_ptr_set_capFMapType(&ctSlot->cap, X86_MappingNone);
237 static exception_t performEPTPDPTInvocationUnmap(cap_t cap, cte_t *cte) argument
239 if (cap_ept_pdpt_cap_get_capPDPTIsMapped(cap)) {
252 performEPTPDPTInvocationMap(cap_t cap, cte_t *cte, ept_pml4e_t pml4e, ept_pml4e_t *pml4Slot, ept_pml4e_t *pml4) argument
262 decodeX86EPTPDPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
366 decodeX86EPTInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
442 performEPTPDInvocationUnmap(cap_t cap, cte_t *cte) argument
457 performEPTPDInvocationMap(cap_t cap, cte_t *cte, ept_pdpte_t pdpte, ept_pdpte_t *pdptSlot, ept_pml4e_t *pml4) argument
467 decodeX86EPTPDInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
631 performEPTPTInvocationUnmap(cap_t cap, cte_t *cte) argument
646 performEPTPTInvocationMap(cap_t cap, cte_t *cte, ept_pde_t pde, ept_pde_t *pdSlot, ept_pml4e_t *pml4) argument
655 decodeX86EPTPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
768 performEPTPageMapPTE(cap_t cap, cte_t *cte, ept_pte_t *ptSlot, ept_pte_t pte, ept_pml4e_t *pml4) argument
777 performEPTPageMapPDE(cap_t cap, cte_t *cte, ept_pde_t *pdSlot, ept_pde_t pde1, ept_pde_t pde2, ept_pml4e_t *pml4) argument
790 decodeX86EPTPageMap( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-refos-master/kernel/include/arch/x86/arch/fastpath/
H A Dfastpath.h12 static inline int fastpath_reply_cap_check(cap_t cap) argument
14 return cap_capType_equals(cap, cap_reply_cap);

Completed in 274 milliseconds

1234567