Searched defs:ret (Results 26 - 39 of 39) sorted by relevance

12

/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A D	syscalls.h	665 seL4_Word ret; local
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/
H A D	vspace_32paging.c	328 readWordFromVSpace_ret_t ret; local
/seL4-mcs-10.1.1/src/arch/x86/machine/
H A D	breakpoint.c	165 convertedTypeAndAccess_t ret; local 471 getBreakpoint_t ret; local 506 bool_t ret; member in struct:__anon151 513 testAndResetSingleStepException_t ret; local 586 getAndResetActiveBreakpoint_t ret; local [all...]
/seL4-mcs-10.1.1/src/kernel/
H A D	boot.c	394 bool_t ret = true; local 560 bool_t ret; local
/seL4-mcs-10.1.1/src/plat/tk1/machine/
H A D	smmu.c	130 uint32_t ret = 0; local
/seL4-mcs-10.1.1/include/plat/tk1/plat/machine/
H A D	smmu.h	136 uint32_t ret = (io_address & SMMU_IOPD_INDEX_MASK) >> SMMU_IOPD_INDEX_SHIFT; local 143 uint32_t ret = (io_address & SMMU_IOPT_INDEX_MASK) >> SMMU_IOPT_INDEX_SHIFT; local
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A D	ept.c	83 findEPTForASID_ret_t ret; local 109 lookupEPTPDPTSlot_ret_t ret; local 132 lookupEPTPDSlot_ret_t ret; local 163 lookupEPTPTSlot_ret_t ret; local 212 EPTPDPTMapped_ret_t ret; local 410 EPTPageDirectoryMapped_ret_t ret; local 603 EPTPageTableMapped_ret_t ret; local [all...]
H A D	vspace.c	551 findVSpaceForASID_ret_t ret; local 622 lookupPTSlot_ret_t ret; local 894 create_mapping_pte_return_t ret; local 923 create_mapping_pde_return_t ret; local [all...]
/seL4-mcs-10.1.1/src/object/
H A D	cnode.c	594 finaliseSlot_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A D	debug.c	624 getBreakpoint_t ret; local 972 int i, ret = -1; local 1030 fault_status_t ret; local 1117 seL4_Fault_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A D	vspace.c	316 findVSpaceForASID_ret_t ret; local 393 lookupPTSlot_ret_t ret; local 1239 lookupPTSlot_ret_t ret = lookupPTSlot(vspace_root, address); local [all...]
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A D	vspace.c	1045 lookupPDPTSlot_ret_t ret; local 1070 lookupPDSlot_ret_t ret; local 1547 create_mapping_pdpte_return_t ret; local 1614 readWordFromVSpace_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A D	vspace.c	682 findPDForASID_ret_t ret; local 778 lookupPTSlot_ret_t ret; local 818 resolve_ret_t ret = default_resolve_ret_t; local 1688 create_mappings_pte_return_t ret; local 1788 create_mappings_pde_return_t ret; local 3140 readWordFromVSpace_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A D	vspace.c	601 findVSpaceForASID_ret_t ret; local 686 lookupPGDSlot_ret_t ret; local 698 lookupPUDSlot_ret_t ret; local 725 lookupPDSlot_ret_t ret; local 755 lookupPTSlot_ret_t ret; local 787 lookupFrame_ret_t ret; local 2592 readWordFromVSpace_ret_t ret; local [all...]

Completed in 75 milliseconds

12

Indexes created Fri Jun 21 18:57:21 MDT 2024