Searched refs:x86_64_start_reservations (Results 1 – 5 of 5) sorted by relevance
128 asmlinkage void __init x86_64_start_reservations(char *real_mode_data);
451 x86_64_start_reservations(real_mode_data); in x86_64_start_kernel()454 void __init x86_64_start_reservations(char *real_mode_data) in x86_64_start_reservations() function
43 [<ffffffff830ad386>] x86_64_start_reservations+0x2a/0x2c
1412 x86_64_start_reservations((char *)__pa_symbol(&boot_params)); in xen_start_kernel()
1311 => x86_64_start_reservations