Searched refs:launch_amd64_kernel_long (Results 1 – 2 of 2) sorted by relevance
25 .global launch_amd64_kernel_long symbol32 launch_amd64_kernel_long: label
63 extern void launch_amd64_kernel_long(caddr_t, caddr_t, caddr_t, uint64_t, int,184 launch_amd64_kernel_long((void *)launch_amd64_kernel_long, in run_loadfile()