Searched refs:base_vaddr (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dio.c154 uintptr_t base_vaddr = 0; local
164 base_vaddr = 0;
172 base_vaddr = frame->vaddr + (paddr - frame->paddr);
173 size_counter += (frame->vaddr + frame->size) - base_vaddr;
179 return (void *)base_vaddr;
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A Dutil.py53 def base_vaddr(self, vaddr): member in class:Level
324 return last_level(lookup_architecture(arch).vspace()).base_vaddr(vaddr)
H A DPageCollection.py116 object_vaddr = level.base_vaddr(page_vaddr)
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dguest_memory_util.c84 uintptr_t base_vaddr; local
86 vm_get_reservation_memory_region(alloc_cookie->reservation, &base_vaddr, &size);
87 alloc_addr = ROUND_DOWN(alloc_cookie->paddr + (addr - base_vaddr), BIT(page_size));

Completed in 97 milliseconds