Searched refs:cap1 (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/include/object/ |
H A D | cnode.h | 28 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 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 67 error = seL4_ARM_Page_Map(cap1, env->page_directory, 72 error = seL4_ARM_Page_Unmap(cap1); 89 error = seL4_ARM_Page_Map(cap1, env->page_directory, 102 error = seL4_ARM_Page_Unmap(cap1); 344 seL4_CPtr cap1, cap2; local 351 cap1 = 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) { 357 cap1 = vka_alloc_object_leaky(&env->vka, seL4_ARM_SectionObject, 0); 359 if (do_test_pagetable_tlbflush_on_vaddr_reuse(env, cap1, cap [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 354 cteSwap(cap1, slot1, cap2, slot2); 357 cteMove(cap1, slot1, slot2); 477 cap_t cap1, cap2; local 483 cap1 = slot1->cap; 486 cteSwap(cap1, slot1, cap2, slot2); 489 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2) argument 495 slot2->cap = cap1;
|
Completed in 40 milliseconds