Searched defs:va (Results 1 – 12 of 12) sorted by relevance
/lk-master/arch/arm/include/arch/arm/ |
A D | mmu.h | 230 static inline void arm_invalidate_tlb_mva_no_barrier(vaddr_t va) { in arm_invalidate_tlb_mva_no_barrier() 238 static inline void arm_invalidate_tlb_mva(vaddr_t va) { in arm_invalidate_tlb_mva() 259 static inline void arm_invalidate_tlb_mva_asid_no_barrier(vaddr_t va, uint8_t asid) { in arm_invalidate_tlb_mva_asid_no_barrier() 267 static inline void arm_invalidate_tlb_mva_asid(vaddr_t va, uint8_t asid) { in arm_invalidate_tlb_mva_asid()
|
/lk-master/external/platform/pico/rp2_common/pico_printf/ |
A D | printf.c | 576 …t _vsnprintf(out_fct_type out, char *buffer, const size_t maxlen, const char *format, va_list va) { in _vsnprintf() 892 va_list va; in WRAPPER_FUNC() local 900 va_list va; in WRAPPER_FUNC() local 911 int vfctprintf(void (*out)(char character, void *arg), void *arg, const char *format, va_list va) { in vfctprintf() 919 va_list va; in weak_raw_printf() local
|
/lk-master/kernel/include/kernel/ |
A D | vm.h | 90 static inline bool is_kernel_address(vaddr_t va) { in is_kernel_address() 104 static inline bool is_user_address(vaddr_t va) { in is_user_address()
|
/lk-master/arch/arm/arm/ |
A D | mmu.c | 180 vaddr_t va = map->virt; in arm_mmu_init() local 697 uint32_t *va = pmm_alloc_kpages(1, &aspace->pt_page_list); in arch_mmu_init_aspace() local
|
A D | arch.c | 285 status_t arm_vtop(addr_t va, addr_t *pa) { in arm_vtop()
|
/lk-master/arch/test/ |
A D | mmu.c | 43 vaddr_t va = USER_ASPACE_BASE; in map_user_pages() local
|
/lk-master/kernel/vm/ |
A D | vm.c | 28 static void mark_pages_in_use(vaddr_t va, size_t len) { in mark_pages_in_use()
|
A D | vmm.c | 516 vaddr_t va = r->base; in vmm_alloc() local
|
/lk-master/external/platform/pico/rp2_common/pico_stdio/ |
A D | stdio.c | 235 va_list va; in WRAPPER_FUNC() local
|
/lk-master/dev/virtio/block/ |
A D | virtio-block.c | 226 vaddr_t va = (vaddr_t)buf; in virtio_block_read_write() local
|
/lk-master/arch/riscv/ |
A D | mmu.cpp | 75 constexpr uint vaddr_to_index(vaddr_t va, uint level) { in vaddr_to_index()
|
/lk-master/arch/arm64/ |
A D | mmu.c | 581 pte_t *va = pmm_alloc_kpages(1, NULL); in arch_mmu_init_aspace() local
|
Completed in 16 milliseconds