/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/ |
H A D | debug.h | 28 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 D | debug.h | 28 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 D | objecttype.c | 23 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 D | iospace.c | 40 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 D | iospace.h | 16 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 D | structures.h | 110 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 D | objecttype.c | 30 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 D | structures.h | 62 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 D | objecttype.c | 36 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 D | objecttype.c | 35 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 D | objecttype.c | 37 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 D | capdl.c | 95 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 D | objecttype.c | 62 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 D | objecttype.c | 16 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 D | caps.c | 19 void debug_cap_identify(seL4_CPtr cap) argument 22 int type = seL4_DebugCapIdentify(cap);
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | caps.c | 19 void debug_cap_identify(seL4_CPtr cap) argument 22 int type = seL4_DebugCapIdentify(cap);
|
/seL4-refos-master/kernel/include/object/ |
H A D | objecttype.h | 14 #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 D | structures.h | 125 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 D | cap.h | 11 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 D | objecttype.h | 15 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 D | iospace.h | 37 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 D | tcb.h | 14 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t extraCaps);
|
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 122 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 D | ept.c | 56 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 D | fastpath.h | 12 static inline int fastpath_reply_cap_check(cap_t cap) argument 14 return cap_capType_equals(cap, cap_reply_cap);
|