Searched defs:find_ret (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c95 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c30 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
127 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
147 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); local
/seL4-camkes-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c294 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
306 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
319 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
341 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
357 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); local
[all...]
/seL4-camkes-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c258 findPDForASID_ret_t find_ret = findPDForASID(asid); local
268 findPDForASID_ret_t find_ret = findPDForASID(asid); local
280 findPDForASID_ret_t find_ret = findPDForASID(asid); local
296 findPDForASID_ret_t find_ret = findPDForASID(cap_small_frame_cap_get_capFMappedASID(cap)); local
303 findPDForASID_ret_t find_ret = findPDForASID(cap_frame_cap_get_capFMappedASID(cap)); local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c214 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
224 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
236 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
248 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
260 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
276 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c593 findVSpaceForASID_ret_t find_ret; local
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c277 findEPTForASID_ret_t find_ret; local
391 lookupEPTPDPTSlot_ret_t find_ret; local
482 findEPTForASID_ret_t find_ret; local
580 lookupEPTPDSlot_ret_t find_ret; local
670 findEPTForASID_ret_t find_ret; local
840 findEPTForASID_ret_t find_ret = findEPTForASID(asid); local
971 findEPTForASID_ret_t find_ret; local
[all...]
H A Dvspace.c709 findVSpaceForASID_ret_t find_ret; local
761 findVSpaceForASID_ret_t find_ret; local
1007 findVSpaceForASID_ret_t find_ret; local
1203 findVSpaceForASID_ret_t find_ret; local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c477 findVSpaceForASID_ret_t find_ret; local
1076 findVSpaceForASID_ret_t find_ret; local
1205 findVSpaceForASID_ret_t find_ret; local
1252 findVSpaceForASID_ret_t find_ret; local
1370 findVSpaceForASID_ret_t find_ret; local
[all...]
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c506 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
555 findVSpaceForASID_ret_t find_ret; local
581 findVSpaceForASID_ret_t find_ret; local
689 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
744 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
826 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c1320 findEPTForASID_ret_t find_ret; local
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1046 findPDForASID_ret_t find_ret; local
1094 findPDForASID_ret_t find_ret; local
1376 findPDForASID_ret_t find_ret; local
2055 findPDForASID_ret_t find_ret; local
2228 findPDForASID_ret_t find_ret; local
2351 findPDForASID_ret_t find_ret; local
[all...]
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c989 findVSpaceForASID_ret_t find_ret; local
1027 findVSpaceForASID_ret_t find_ret; local
1046 findVSpaceForASID_ret_t find_ret; local
1262 findVSpaceForASID_ret_t find_ret; local
1328 findVSpaceForASID_ret_t find_ret; local
1698 findVSpaceForASID_ret_t find_ret; local
1798 findVSpaceForASID_ret_t find_ret; local
1886 findVSpaceForASID_ret_t find_ret; local
1979 findVSpaceForASID_ret_t find_ret; local
2076 findVSpaceForASID_ret_t find_ret; local
2200 findVSpaceForASID_ret_t find_ret; local
[all...]

Completed in 84 milliseconds