Searched defs:cap2 (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | pagetables.c | 57 static int do_test_pagetable_tlbflush_on_vaddr_reuse(env_t env, seL4_CPtr cap1, seL4_CPtr cap2, seL4_Word vstart, argument
344 seL4_CPtr cap1, cap2; local
[all...] |
| /seL4-test-master/kernel/src/object/ |
| H A D | cnode.c | 350 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, argument
477 cap_t cap1, cap2; local
489 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2) argument
|
Completed in 72 milliseconds