Searched refs:x86_64_start_reservations (Results 1 – 3 of 3) sorted by relevance
132 asmlinkage void __init __noreturn x86_64_start_reservations(char *real_mode_data);
536 x86_64_start_reservations(real_mode_data); in x86_64_start_kernel()539 void __init __noreturn x86_64_start_reservations(char *real_mode_data) in x86_64_start_reservations() function
1511 x86_64_start_reservations((char *)__pa_symbol(&boot_params)); in xen_start_kernel()