x86.h

int startup_64(void);
int x86_64_start_reservations(void);
void setup_arch(void);