Home
last modified time | relevance | path

Searched defs:va (Results 1 – 12 of 12) sorted by relevance

/lk-master/arch/arm/include/arch/arm/
A Dmmu.h230 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 Dprintf.c576 …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 Dvm.h90 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 Dmmu.c180 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 Darch.c285 status_t arm_vtop(addr_t va, addr_t *pa) { in arm_vtop()
/lk-master/arch/test/
A Dmmu.c43 vaddr_t va = USER_ASPACE_BASE; in map_user_pages() local
/lk-master/kernel/vm/
A Dvm.c28 static void mark_pages_in_use(vaddr_t va, size_t len) { in mark_pages_in_use()
A Dvmm.c516 vaddr_t va = r->base; in vmm_alloc() local
/lk-master/external/platform/pico/rp2_common/pico_stdio/
A Dstdio.c235 va_list va; in WRAPPER_FUNC() local
/lk-master/dev/virtio/block/
A Dvirtio-block.c226 vaddr_t va = (vaddr_t)buf; in virtio_block_read_write() local
/lk-master/arch/riscv/
A Dmmu.cpp75 constexpr uint vaddr_to_index(vaddr_t va, uint level) { in vaddr_to_index()
/lk-master/arch/arm64/
A Dmmu.c581 pte_t *va = pmm_alloc_kpages(1, NULL); in arch_mmu_init_aspace() local

Completed in 16 milliseconds