Searched refs:x86_64_start_reservations (Results 1 – 6 of 6) sorted by relevance
291 x86_64_start_reservations(real_mode_data); in x86_64_start_kernel()294 void __init __noreturn x86_64_start_reservations(char *real_mode_data) in x86_64_start_reservations() function
53 NORETURN(x86_64_start_reservations)
138 asmlinkage void __init __noreturn x86_64_start_reservations(char *real_mode_data);
45 [<ffffffff830ad386>] x86_64_start_reservations+0x2a/0x2c
174 x86_64_start_reservations+0x24/0x26
1566 x86_64_start_reservations((char *)__pa_symbol(&boot_params)); in xen_start_kernel()