| /lk-master/arch/arm/include/arch/arm/ |
| A D | mmu.h | 202 status_t arm_vtop(addr_t va, addr_t *pa);
230 static inline void arm_invalidate_tlb_mva_no_barrier(vaddr_t va) { in arm_invalidate_tlb_mva_no_barrier() argument
232 arm_write_tlbimvaais(va & 0xfffff000); in arm_invalidate_tlb_mva_no_barrier()
234 arm_write_tlbimvaa(va & 0xfffff000); in arm_invalidate_tlb_mva_no_barrier()
238 static inline void arm_invalidate_tlb_mva(vaddr_t va) { in arm_invalidate_tlb_mva() argument
240 arm_invalidate_tlb_mva_no_barrier(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() argument
261 arm_write_tlbimvais((va & 0xfffff000) | asid); in arm_invalidate_tlb_mva_asid_no_barrier()
263 arm_write_tlbimva((va & 0xfffff000) | 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() argument
[all …]
|
| /lk-master/external/platform/pico/rp2_common/pico_printf/ |
| A D | printf.c | 786 va_arg(va, double); in _vsnprintf()
800 va_arg(va, double); in _vsnprintf()
892 va_list va; in WRAPPER_FUNC() local
893 va_start(va, format); in WRAPPER_FUNC()
895 va_end(va); in WRAPPER_FUNC()
900 va_list va; in WRAPPER_FUNC() local
901 va_start(va, format); in WRAPPER_FUNC()
903 va_end(va); in WRAPPER_FUNC()
919 va_list va; in weak_raw_printf() local
920 va_start(va, fmt); in weak_raw_printf()
[all …]
|
| /lk-master/external/platform/pico/rp2_common/pico_printf/include/pico/ |
| A D | printf.h | 69 #define weak_raw_vprintf(fmt,va) ({vprintf(fmt,va); true;})
80 int vfctprintf(void (*out)(char character, void *arg), void *arg, const char *format, va_list va);
85 #define weak_raw_vprintf(fmt,va) ({vprintf(fmt,va); true;})
|
| /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() argument
29 LTRACEF("va 0x%lx, len 0x%zx\n", va, len); in mark_pages_in_use()
35 len = PAGE_ALIGN(len + (va & (PAGE_SIZE - 1))); in mark_pages_in_use()
36 va = ROUNDDOWN(va, PAGE_SIZE); in mark_pages_in_use()
38 LTRACEF("aligned va 0x%lx, len 0x%zx\n", va, len); in mark_pages_in_use()
44 … status_t err = arch_mmu_query(&vmm_get_kernel_aspace()->arch_aspace, va + offset, &pa, &flags); in mark_pages_in_use()
51 panic("Could not find pa for va 0x%lx\n", va); in mark_pages_in_use()
|
| A D | vmm.c | 516 vaddr_t va = r->base; in vmm_alloc() local
517 DEBUG_ASSERT(IS_PAGE_ALIGNED(va)); in vmm_alloc()
519 DEBUG_ASSERT(va <= r->base + r->size - 1); in vmm_alloc()
524 arch_mmu_map(&aspace->arch_aspace, va, pa, 1, arch_mmu_flags); in vmm_alloc()
529 va += PAGE_SIZE; in vmm_alloc()
|
| /lk-master/arch/test/ |
| A D | mmu.c | 43 vaddr_t va = USER_ASPACE_BASE; in map_user_pages() local
46 err = arch_mmu_map(&as, va, vm_page_to_paddr(p), 1, ARCH_MMU_FLAG_PERM_USER); in map_user_pages()
48 va += PAGE_SIZE; in map_user_pages()
52 va = USER_ASPACE_BASE; in map_user_pages()
56 err = arch_mmu_query(&as, va, &pa, &flags); in map_user_pages()
60 va += PAGE_SIZE; in map_user_pages()
|
| /lk-master/kernel/include/kernel/ |
| A D | vm.h | 90 static inline bool is_kernel_address(vaddr_t va) { in is_kernel_address() argument
91 …return (va >= (vaddr_t)KERNEL_ASPACE_BASE && va <= ((vaddr_t)KERNEL_ASPACE_BASE + ((vaddr_t)KERNEL… in is_kernel_address()
104 static inline bool is_user_address(vaddr_t va) { in is_user_address() argument
105 return (va >= USER_ASPACE_BASE && va <= (USER_ASPACE_BASE + (USER_ASPACE_SIZE - 1))); in is_user_address()
176 paddr_t vaddr_to_paddr(void *va);
244 status_t vmm_free_region(vmm_aspace_t *aspace, vaddr_t va);
|
| /lk-master/external/platform/pico/rp2_common/pico_stdio/ |
| A D | stdio.c | 207 int WRAPPER_FUNC(vprintf)(const char *format, va_list va) { in WRAPPER_FUNC()
217 ret = vfctprintf(stdio_buffered_printer, &buffer, format, va); in WRAPPER_FUNC()
224 extern int REAL_FUNC(vprintf)(const char *format, va_list va); in WRAPPER_FUNC()
225 ret = REAL_FUNC(vprintf)(format, va); in WRAPPER_FUNC()
235 va_list va; in WRAPPER_FUNC() local
236 va_start(va, format); in WRAPPER_FUNC()
237 int ret = vprintf(format, va); in WRAPPER_FUNC()
238 va_end(va); in WRAPPER_FUNC()
|
| /lk-master/dev/virtio/block/ |
| A D | virtio-block.c | 226 vaddr_t va = (vaddr_t)buf; in virtio_block_read_write() local
227 paddr_t pa = vaddr_to_paddr((void *)va); in virtio_block_read_write()
241 … LTRACEF("first descriptor va 0x%lx desc->addr 0x%llx desc->len %u\n", va, desc->addr, desc->len); in virtio_block_read_write()
248 va = PAGE_ALIGN(va + 1); in virtio_block_read_write()
249 pa = vaddr_to_paddr((void *)va); in virtio_block_read_write()
250 LTRACEF("va now 0x%lx, pa 0x%lx, next_pa 0x%lx, remaining len %zu\n", va, pa, next_pa, len); in virtio_block_read_write()
|
| /lk-master/arch/arm/arm/ |
| A D | arch.c | 285 status_t arm_vtop(addr_t va, addr_t *pa) { in arm_vtop() argument
290 arm_write_ats1cpr(va & ~(PAGE_SIZE-1)); in arm_vtop()
299 *pa = (par & 0xfffff000) | (va & 0xfff); in arm_vtop()
|
| A D | mmu.c | 180 vaddr_t va = map->virt; in arm_mmu_init() local
186 arm_mmu_unmap_l1_entry(arm_kernel_translation_table, va / SECTION_SIZE); in arm_mmu_init()
187 va += MB; in arm_mmu_init()
697 uint32_t *va = pmm_alloc_kpages(1, &aspace->pt_page_list); in arch_mmu_init_aspace() local
698 if (!va) in arch_mmu_init_aspace()
701 aspace->tt_virt = va; in arch_mmu_init_aspace()
|
| /lk-master/arch/riscv/ |
| A D | mmu.cpp | 75 constexpr uint vaddr_to_index(vaddr_t va, uint level) { in vaddr_to_index() argument
80 va &= RISCV_MMU_CANONICAL_MASK; in vaddr_to_index()
82 …uint index = ((va >> PAGE_SIZE_SHIFT) >> (level * RISCV_MMU_PT_SHIFT)) & (RISCV_MMU_PT_ENTRIES - 1… in vaddr_to_index()
83 LTRACEF_LEVEL(3, "canonical va %#lx, level %u = index %#x\n", va, level, index); 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
582 if (!va) in arch_mmu_init_aspace()
585 aspace->tt_virt = va; in arch_mmu_init_aspace()
|