Searched defs:kernel_start (Results 1 – 2 of 2) sorted by relevance
133 void vm_assign_initial_dynamic(paddr_t kernel_start, size_t ram_size) in vm_assign_initial_dynamic()
1622 let kernel_start = GuestAddress(KERNEL_START_OFFSET); in load_kernel() localVariable