Searched refs:ARGS_BASE (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-2018-10-04/kernel/include/arch/x86/ |
| H A D | startup_x86.h | 22 #define ARGS_BASE (BOOTINFO_BASE + BOOTINFO_SIZE) macro
23 #define DISPATCHER_BASE (ARGS_BASE + ARGS_SIZE)
|
| /barrelfish-2018-10-04/kernel/arch/k1om/ |
| H A D | startup_arch.c | 339 ARGS_BASE, alloc_phys, alloc_phys_aligned,
345 /* Map cmdline args R/W into VSpace at ARGS_BASE */
346 paging_x86_64_map_table(&init_pml4[X86_64_PML4_BASE(ARGS_BASE)],
348 paging_x86_64_map_table(&init_pdpt[X86_64_PDPT_BASE(ARGS_BASE)],
350 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(ARGS_BASE)],
353 paging_x86_64_map(&init_ptable[X86_64_PTABLE_BASE(ARGS_BASE) + i],
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | startup_arch.c | 341 ARGS_BASE, alloc_phys,
347 /* Map cmdline args R/W into VSpace at ARGS_BASE */
348 paging_x86_64_map_table(&init_pml4[X86_64_PML4_BASE(ARGS_BASE)],
350 paging_x86_64_map_table(&init_pdpt[X86_64_PDPT_BASE(ARGS_BASE)],
352 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(ARGS_BASE)],
355 paging_x86_64_map(&init_ptable[X86_64_PTABLE_BASE(ARGS_BASE) + i],
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | startup_arch.c | 384 /* Map cmdline args R/W into VSpace at ARGS_BASE */
386 paging_x86_32_map_pdpte(&init_pdpte[X86_32_PDPTE_BASE(ARGS_BASE)],
389 paging_x86_32_map_table(&init_pdir[X86_32_PDIR_BASE(ARGS_BASE)],
392 paging_x86_32_map(&init_ptable[X86_32_PTABLE_BASE(ARGS_BASE) + i],
409 ARGS_BASE, alloc_phys, alloc_phys_aligned,
|
Completed in 47 milliseconds