1*cdbda49eSPulkoMandy /* 2*cdbda49eSPulkoMandy * Copyright 2003-2010, Axel Dörfler, axeld@pinc-software.de. 3*cdbda49eSPulkoMandy * Copyright 2011, Alexander von Gluck, kallisti5@unixzen.com 4*cdbda49eSPulkoMandy * Copyright 2019, Adrien Destugues, pulkomandy@pulkomandy.tk 5*cdbda49eSPulkoMandy * Distributed under the terms of the MIT License. 6*cdbda49eSPulkoMandy */ 7*cdbda49eSPulkoMandy 8*cdbda49eSPulkoMandy 9*cdbda49eSPulkoMandy extern "C" void start(void *openFirmwareEntry); 10*cdbda49eSPulkoMandy 11*cdbda49eSPulkoMandy void determine_machine(void); 12*cdbda49eSPulkoMandy void call_ctors(void); 13