Searched refs:x86_64_start_reservations (Results 1 – 6 of 6) sorted by relevance
131 asmlinkage void __init x86_64_start_reservations(char *real_mode_data);
471 x86_64_start_reservations(real_mode_data); in x86_64_start_kernel()474 void __init x86_64_start_reservations(char *real_mode_data) in x86_64_start_reservations() function
43 [<ffffffff830ad386>] x86_64_start_reservations+0x2a/0x2c
174 x86_64_start_reservations+0x24/0x26
1407 x86_64_start_reservations((char *)__pa_symbol(&boot_params)); in xen_start_kernel()
1350 => x86_64_start_reservations
