Searched refs:virt_base (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/include/target/x86/barrelfish/ |
H A D | pmap_target.h | 37 lvaddr_t virt_base; ///< vaddr of mapped RO page table in user-space member in struct:vnode::__anon60::__anon61
|
/barrelfish-master/tools/fastmodels/ |
H A D | main.c | 168 uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc, 207 *entry= virt_base + (ehdr->e_entry - base); 300 *target= (rela->r_addend - base) + virt_base; 319 uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc, 345 *shim_entry= virt_base + (ehdr->e_entry - base); 438 name, virt_base + (sym->st_value - base), value); 167 load_cpudriver(Elf *kernel_elf, void *kernel_raw, size_t kernel_size, uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc, uint64_t *entry) argument 318 load_shim(Elf *shim_elf, void *shim_raw, size_t shim_size, uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc, uint64_t kernel_table, uint64_t kernel_stack_top, uint64_t multiboot, uint64_t entry, uint64_t *shim_entry, int quiet) argument
|
/barrelfish-master/lib/barrelfish/arch/x86_64/ |
H A D | pmap.c | 1195 vnode->u.vnode.virt_base = genvaddr; 1232 *ret_va = current->u.vnode.virt_base; 1350 x86->root.u.vnode.virt_base = 0;
|
/barrelfish-master/lib/barrelfish/arch/x86/ |
H A D | pmap.c | 158 newvnode->u.vnode.virt_base = 0;
|
Completed in 174 milliseconds