Searched refs:cap2 (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dcnode.h28 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1,
33 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2);
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dpagetables.c57 static int do_test_pagetable_tlbflush_on_vaddr_reuse(env_t env, seL4_CPtr cap1, seL4_CPtr cap2, seL4_Word vstart, argument
78 error = seL4_ARM_Page_Map(cap2, env->page_directory,
83 error = seL4_ARM_Page_Unmap(cap2);
95 error = seL4_ARM_Page_Map(cap2, env->page_directory,
104 error = seL4_ARM_Page_Unmap(cap2);
344 seL4_CPtr cap1, cap2; local
352 cap2 = vka_alloc_object_leaky(&env->vka, seL4_ARM_SuperSectionObject, 0);
353 if (do_test_pagetable_tlbflush_on_vaddr_reuse(env, cap1, cap2, (uintptr_t)vstart, SUPSECT_SIZE) == FAILURE) {
358 cap2 = vka_alloc_object_leaky(&env->vka, seL4_ARM_SectionObject, 0);
359 if (do_test_pagetable_tlbflush_on_vaddr_reuse(env, cap1, cap2, (uintptr_
[all...]
/seL4-test-master/kernel/src/object/
H A Dcnode.c350 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, argument
354 cteSwap(cap1, slot1, cap2, slot2);
356 cteMove(cap2, slot2, slot3);
477 cap_t cap1, cap2; local
484 cap2 = slot2->cap;
486 cteSwap(cap1, slot1, cap2, slot2);
489 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2) argument
494 slot1->cap = cap2;

Completed in 32 milliseconds