Diff: vm/plat_interface.h

Revision:

0:65f1469d6bfb

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/vm/plat_interface.h	Sat Mar 02 11:54:20 2013 +0000
@@ -0,0 +1,69 @@
+/*
+# This file is Copyright 2010 Dean Hall.
+# This file is part of the PyMite VM.
+# This file is licensed under the MIT License.
+# See the LICENSE file for details.
+*/
+
+
+#ifndef __PLAT_H__
+#define __PLAT_H__
+
+
+/** 
+ * \file
+ * \brief PyMite's Porting Interface 
+ */
+
+
+/**
+ * Initializes the platform as needed by the routines
+ * in the platform implementation file.
+ */
+PmReturn_t plat_init(void);
+
+/** De-initializes the platform after the VM is done running. */
+PmReturn_t plat_deinit(void);
+
+/**
+ * Returns the byte at the given address in memspace.
+ *
+ * Increments the address (just like getc and read(1))
+ * to make image loading work (recursively).
+ *
+ * PORT:    fill in getByte for each memspace in the system;
+ *          call sys_error for invalid memspaces.
+ *
+ * @param   memspace memory space/type
+ * @param   paddr ptr to address
+ * @return  byte from memory.
+ *          paddr - points to the next byte
+ */
+uint8_t plat_memGetByte(PmMemSpace_t memspace, uint8_t const **paddr);
+
+/**
+ * Receives one byte from the default connection,
+ * usually UART0 on a target device or stdio on the desktop
+ */
+PmReturn_t plat_getByte(uint8_t *b);
+
+
+/**
+ * Sends one byte out on the default connection,
+ * usually UART0 on a target device or stdio on the desktop
+ */
+PmReturn_t plat_putByte(uint8_t b);
+
+
+/**
+ * Gets the number of timer ticks that have passed since system start.
+ */
+PmReturn_t plat_getMsTicks(uint32_t *r_ticks);
+
+
+/**
+ * Reports an exception or other error that caused the thread to quit
+ */
+void plat_reportError(PmReturn_t result);
+
+#endif /* __PLAT_H__ */