Searched defs:kernel_table (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/fastmodels/ |
| H A D | main.c | 724 uint64_t kernel_table= allocbase; local
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
|
Completed in 59 milliseconds