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

/barrelfish-master/include/target/x86/barrelfish/
H A Dpmap_target.h37 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 Dmain.c168 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 Dpmap.c1195 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 Dpmap.c158 newvnode->u.vnode.virt_base = 0;

Completed in 174 milliseconds