1*e5fc2bfcSAlex Smith /* 2*e5fc2bfcSAlex Smith * Copyright 2012, Alex Smith, alex@alex-smith.me.uk. 3*e5fc2bfcSAlex Smith * Distributed under the terms of the MIT License. 4*e5fc2bfcSAlex Smith */ 5*e5fc2bfcSAlex Smith #ifndef LONG_H 6*e5fc2bfcSAlex Smith #define LONG_H 7*e5fc2bfcSAlex Smith 8*e5fc2bfcSAlex Smith 9*e5fc2bfcSAlex Smith #include <SupportDefs.h> 10*e5fc2bfcSAlex Smith 11*e5fc2bfcSAlex Smith 12*e5fc2bfcSAlex Smith extern "C" void long_enter_kernel(uint32 pml4, uint64 entry, uint64 stackTop, 13*e5fc2bfcSAlex Smith uint64 kernelArgs, int currentCPU); 14*e5fc2bfcSAlex Smith 15*e5fc2bfcSAlex Smith extern void long_start_kernel(); 16*e5fc2bfcSAlex Smith 17*e5fc2bfcSAlex Smith 18*e5fc2bfcSAlex Smith #endif /* LONG_H */ 19