\r
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
\r
+extern UINT64 mSystemMemoryEnd;\r
+\r
RETURN_STATUS\r
EFIAPI\r
TimerConstructor (\r
PrePiMain (\r
IN UINTN UefiMemoryBase,\r
IN UINTN StacksBase,\r
- IN UINTN GlobalVariableBase,\r
IN UINT64 StartTimeStamp\r
);\r
\r