| /seL4-test-master/kernel/include/benchmark/ |
| H A D | benchmark_track.h | 53 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local
|
| /seL4-test-master/kernel/src/benchmark/ |
| H A D | benchmark_utilisation.c | 19 lookupCap_ret_t lu_ret; local
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | faulthandler.c | 68 lookupCap_ret_t lu_ret; local
|
| H A D | cspace.c | 17 lookupSlot_raw_ret_t lu_ret; local
34 lookupSlot_raw_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/arm/object/ |
| H A D | interrupt.c | 62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); local
107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); local
|
| H A D | iospace.c | 157 lookupIOPDSlot_ret_t lu_ret; local
261 lookupIOPTSlot_ret_t lu_ret; local
379 lookupIOPDSlot_ret_t lu_ret; local
414 lookupIOPTSlot_ret_t lu_ret; local
[all...] |
| H A D | smmu.c | 29 lookupSlot_ret_t lu_ret; local
192 lookupSlot_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/riscv/object/ |
| H A D | interrupt.c | 68 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); local
|
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 75 lookupSlot_ret_t lu_ret; local
|
| H A D | iospace.c | 252 lookupIOPTSlot_ret_t lu_ret; local
312 lookupIOPTSlot_ret_t lu_ret; local
401 lookupIOPTSlot_ret_t lu_ret; local
457 lookupIOPTSlot_ret_t lu_ret; local
[all...] |
| H A D | ioport.c | 118 lookupSlot_ret_t lu_ret; local
|
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 32 lookupSlot_ret_t lu_ret; local
|
| H A D | untyped.c | 35 lookupSlot_ret_t lu_ret; local
|
| H A D | cnode.c | 45 lookupSlot_ret_t lu_ret; local
[all...] |
| H A D | tcb.c | 386 lookupSlot_raw_ret_t lu_ret; local
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 114 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vptr); local
|
| /seL4-test-master/kernel/src/api/ |
| H A D | syscall.c | 101 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local
113 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local
258 lookupCap_ret_t lu_ret; local
372 lookupCapAndSlot_ret_t lu_ret; local
454 lookupCap_ret_t lu_ret = lookupCap(NODE_STATE(ksCurThread), replyCPtr); local
516 lookupCap_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 662 lookupCapAndSlot_ret_t lu_ret; local
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 121 lookupEPTPDPTSlot_ret_t lu_ret; local
151 lookupEPTPDSlot_ret_t lu_ret; local
227 EPTPDPTMapped_ret_t lu_ret; local
426 EPTPageDirectoryMapped_ret_t lu_ret; local
483 lookupEPTPDPTSlot_ret_t lu_ret; local
615 EPTPageTableMapped_ret_t lu_ret; local
671 lookupEPTPDSlot_ret_t lu_ret; local
873 lookupEPTPTSlot_ret_t lu_ret; local
905 lookupEPTPDSlot_ret_t lu_ret; local
981 lookupEPTPTSlot_ret_t lu_ret; local
998 lookupEPTPDSlot_ret_t lu_ret; local
[all...] |
| H A D | vspace.c | 710 lookupPTSlot_ret_t lu_ret; local
762 lookupPDSlot_ret_t lu_ret; local
868 lookupPTSlot_ret_t lu_ret; local
897 lookupPDSlot_ret_t lu_ret; local
1274 lookupSlot_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1077 lookupPDPTSlot_ret_t lu_ret; local
1484 lookupPDPTSlot_ret_t lu_ret; local
1627 lookupCapAndSlot_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 202 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, frame_vptr); local
556 lookupPTSlot_ret_t lu_ret; local
759 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr); local
854 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr); local
949 lookupSlot_ret_t lu_ret; local
1185 lookupCapAndSlot_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1386 lookupPTSlot_ret_t lu_ret; local
1412 lookupPTSlot_ret_t lu_ret; local
1617 lookupPTSlot_ret_t lu_ret; local
2572 lookupSlot_ret_t lu_ret; local
2723 lookupCapAndSlot_ret_t lu_ret; local
[all...] |
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1028 lookupPGDSlot_ret_t lu_ret; local
1047 lookupPUDSlot_ret_t lu_ret; local
1263 lookupPDSlot_ret_t lu_ret; local
1338 lookupPTSlot_ret_t lu_ret; local
1355 lookupPDSlot_ret_t lu_ret; local
1372 lookupPUDSlot_ret_t lu_ret; local
2148 lookupPTSlot_ret_t lu_ret = lookupPTSlot(vspaceRoot, vaddr); local
2161 lookupPDSlot_ret_t lu_ret = lookupPDSlot(vspaceRoot, vaddr); local
2174 lookupPUDSlot_ret_t lu_ret = lookupPUDSlot(vspaceRoot, vaddr); local
2300 lookupSlot_ret_t lu_ret; local
2532 lookupCapAndSlot_ret_t lu_ret; local
[all...] |