Home
last modified time | relevance | path

Searched refs:frame_pptr (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c663 pptr_t frame_pptr; in benchmark_arch_map_logBuffer() local
691 frame_pptr = cap_frame_cap_get_capFBasePtr(lu_ret.cap); in benchmark_arch_map_logBuffer()
693 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c198 pte_t *frame_pptr = PTE_PTR(pptr_of_cap(frame_cap)); in map_it_frame_cap() local
208 (pptr_to_paddr(frame_pptr) >> seL4_PageBits), in map_it_frame_cap()
1184 pptr_t frame_pptr; in benchmark_arch_map_logBuffer() local
1212 frame_pptr = cap_frame_cap_get_capFBasePtr(lu_ret.cap); in benchmark_arch_map_logBuffer()
1214 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c1626 pptr_t frame_pptr; in benchmark_arch_map_logBuffer() local
1654 frame_pptr = cap_frame_cap_get_capFBasePtr(lu_ret.cap); in benchmark_arch_map_logBuffer()
1656 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c2523 pptr_t frame_pptr; in benchmark_arch_map_logBuffer() local
2551 frame_pptr = cap_frame_cap_get_capFBasePtr(lu_ret.cap); in benchmark_arch_map_logBuffer()
2553 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c2671 pptr_t frame_pptr; local
2699 frame_pptr = generic_frame_cap_get_capFBasePtr(lu_ret.cap);
2701 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr);

Completed in 19 milliseconds