Changeset c47e1a8 in mainline for uspace/app/sbi/src/builtin.h

Timestamp:

2010-05-21T07:50:04Z (16 years ago)

Author:

Lenka Trochtova <trochtova.lenka@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d51ee2b

Parents:

cf8cc36 (diff), 15b592b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

merge mainline changes (rev. 451)

File:

• uspace/app/sbi/src/builtin.h (moved) (moved from boot/arch/arm32/loader/print/print.c ) (2 diffs)

uspace/app/sbi/src/builtin.h

@@ -1 +1 @@
 /*
- * Copyright (c) 2007 Michal Kebrt
- * Copyright (c) 2009 Vineeth Pillai
+ * Copyright (c) 2010 Jiri Svoboda
  * All rights reserved.
  *
@@ -28 +27 @@
  */
 
+#ifndef BUILTIN_H_
+#define BUILTIN_H_
 
-/** @addtogroup arm32boot
- * @{
- */
-/** @file
- *  @brief bootloader output logic
- */ 
+#include "mytypes.h"
 
+void builtin_declare(stree_program_t *program);
+void builtin_bind(builtin_t *bi);
+void builtin_code_snippet(builtin_t *bi, const char *snippet);
 
-#include <printf.h>
+stree_csi_t *builtin_get_gf_class(builtin_t *builtin);
+void builtin_run_proc(run_t *run, stree_proc_t *proc);
 
+rdata_var_t *builtin_get_self_mbr_var(run_t *run, const char *mbr_name);
 
-/** Address where characters to be printed are expected. */
-#ifdef MACHINE_testarm
-        #define PUTC_ADDRESS  0x10000000
+stree_symbol_t *builtin_declare_fun(stree_csi_t *csi, const char *name);
+void builtin_fun_add_arg(stree_symbol_t *fun_sym, const char *name);
+
+stree_symbol_t *builtin_find_lvl0(builtin_t *bi, const char *sym_name);
+stree_symbol_t *builtin_find_lvl1(builtin_t *bi, const char *csi_name,
+    const char *sym_name);
+
+void builtin_fun_bind(builtin_t *bi, const char *csi_name,
+    const char *sym_name, builtin_proc_t bproc);
+
 #endif
-
-#ifdef MACHINE_integratorcp
-        #define PUTC_ADDRESS  0x16000000
-#endif
-
-
-
-/** Prints a character to the console.
- *
- * @param ch Character to be printed.
- */
-static void putc(char ch)
-{
-        if (ch == '\n')
-                *((volatile char *) PUTC_ADDRESS) = '\r';
-        *((volatile char *) PUTC_ADDRESS) = ch;
-}
-
-
-/** Prints a string to the console.
- *
- * @param str String to be printed.
- * @param len Number of characters to be printed.
- */
-void write(const char *str, const int len)
-{
-        int i;
-        for (i = 0; i < len; ++i) {
-                putc(str[i]);
-        }
-}
-
-/** @}
- */
-