root/src/system/boot/platform/openfirmware/start.h
/*
 * Copyright 2003-2010, Axel Dörfler, axeld@pinc-software.de.
 * Copyright 2011, Alexander von Gluck, kallisti5@unixzen.com
 * Copyright 2019, Adrien Destugues, pulkomandy@pulkomandy.tk
 * Distributed under the terms of the MIT License.
 */


extern "C" void start(void *openFirmwareEntry);

void determine_machine(void);
void call_ctors(void);