Searched refs:va (Results 1 - 6 of 6) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/api/ |
| H A D | faults.c | 38 word_t ipa, va; local
39 va = getRestartPC(sender);
40 ipa = (addressTranslateS1CPR(va) & ~MASK(PAGE_BITS)) | (va & MASK(PAGE_BITS));
|
| /seL4-test-master/tools/riscv-pk/pk/ |
| H A D | mmap.h | 28 void __map_kernel_range(uintptr_t va, uintptr_t pa, size_t len, int prot);
37 #define va2pa(va) ({ uintptr_t __va = (uintptr_t)(va); \
|
| /seL4-test-master/projects/util_libs/libutils/src/ |
| H A D | zf_log.c | 351 const char *const fmt, va_list va)
355 n = vsnprintf(ctx->p, nprintf_size(ctx), fmt, va);
433 va_list va; local
434 va_start(va, fmt);
438 put_msg(&ctx, fmt, va);
440 va_end(va);
447 va_list va; local
448 va_start(va, fmt);
451 put_msg(&ctx, fmt, va);
453 va_end(va);
350 put_msg(zf_log_output_ctx *const ctx, const char *const fmt, va_list va) argument
463 va_list va; local
479 va_list va; local
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | debug.h | 33 void software_breakpoint(uint32_t va, user_context_t *context) VISIBLE;
34 void breakpoint_multiplexer(uint32_t va, user_context_t *context) VISIBLE;
36 int set_breakpoint(uint32_t va, break_handler_t handler) VISIBLE;
37 void clear_breakpoint(uint32_t va) VISIBLE;
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 345 static inline word_t ats1e2r(word_t va)
348 asm volatile("at s1e2r, %0" :: "r"(va));
353 static inline word_t ats1e1r(word_t va)
356 asm volatile("at s1e1r, %0" :: "r"(va));
362 static inline word_t ats2e0r(word_t va)
365 asm volatile("at s12e0r, %0" :: "r"(va));
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 82 seL4_Word va; local
84 va = DITE_HEADER_START - (BIT(bits));
87 va = va & ~((BIT(bits)) - 1);
89 return va;
|
Completed in 169 milliseconds