Home
last modified time | relevance | path

Searched refs:ksUserLogBuffer (Results 1 – 12 of 12) sorted by relevance

/seL4-master/include/benchmark/
A Dbenchmark.h27 extern paddr_t ksUserLogBuffer;
40 if (likely(ksUserLogBuffer != 0)) { in trace_point_stop()
/seL4-master/src/arch/x86/32/object/
A Dobjecttype.c79 … if (pptr_to_paddr((void *)cap_frame_cap_get_capFBasePtr(cap)) == ksUserLogBuffer) { in Mode_finaliseCap()
80 ksUserLogBuffer = 0; in Mode_finaliseCap()
/seL4-master/src/benchmark/
A Dbenchmark_track.c23 if (likely(ksUserLogBuffer != 0)) { in benchmark_track_exit()
/seL4-master/src/model/
A Dstatedata.c112 paddr_t ksUserLogBuffer; variable
/seL4-master/src/arch/arm/32/object/
A Dobjecttype.c194 if (pptr_to_paddr((void *)cap_frame_cap_get_capFBasePtr(cap)) == ksUserLogBuffer) { in Arch_finaliseCap()
195 ksUserLogBuffer = 0; in Arch_finaliseCap()
/seL4-master/include/model/
A Dstatedata.h123 extern paddr_t ksUserLogBuffer;
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c693 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
697 paddr_t physical_address = ksUserLogBuffer + (idx << seL4_PageBits); in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c1214 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
1217 paddr_t physical_address = ksUserLogBuffer; in benchmark_arch_map_logBuffer()
1222 assert(physical_address - ksUserLogBuffer == BIT(seL4_LargePageBits)); in benchmark_arch_map_logBuffer()
1224 … kernel_image_level2_dev_pt[RISCV_GET_PT_INDEX(KS_LOG_PPTR, 1)] = pte_next(ksUserLogBuffer, true); in benchmark_arch_map_logBuffer()
/seL4-master/src/api/
A Dsyscall.c202 if (ksUserLogBuffer == 0) { in handleUnknownSyscall()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c1656 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
1660 ksUserLogBuffer, /* page_base_address */ in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c2553 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr); in benchmark_arch_map_logBuffer()
2561 ksUserLogBuffer, in benchmark_arch_map_logBuffer()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c2701 ksUserLogBuffer = pptr_to_paddr((void *) frame_pptr);
2704 paddr_t physical_address = ksUserLogBuffer + (idx << seL4_PageBits);

Completed in 51 milliseconds