1 /******************************************************************************
2 * Copyright (c) 2004, 2008 IBM Corporation
4 * This program and the accompanying materials
5 * are made available under the terms of the BSD License
6 * which accompanies this distribution, and is available at
7 * http://www.opensource.org/licenses/bsd-license.php
10 * IBM Corporation - initial implementation
11 *****************************************************************************/
15 /* the exception frame should be page aligned
16 * the_exception_frame is used by the handler to store a copy of all
17 * registers after an exception; this copy can then be used by paflof's
18 * exception handler to printout a register dump */
19 cell the_exception_frame[0x400 / CELLSIZE] __attribute__ ((aligned(PAGE_SIZE)));;
21 /* the_client_frame is the register save area when starting a client */
22 cell the_client_frame[0x1000 / CELLSIZE] __attribute__ ((aligned(0x100)));
23 cell the_client_stack[0x8000 / CELLSIZE] __attribute__ ((aligned(0x100)));
25 cell the_data_stack[0x2000 / CELLSIZE] __attribute__ ((aligned(0x100)));
26 /* the forth return stack */
27 cell the_return_stack[0x2000 / CELLSIZE] __attribute__ ((aligned(0x100)));
29 /* forth stack and return-stack pointers */
33 /* terminal input buffer */
34 cell the_tib[0x1000 / CELLSIZE] __attribute__ ((aligned(0x100)));
35 /* temporary string buffers */
36 char the_pockets[NUMPOCKETS * POCKETSIZE] __attribute__ ((aligned(0x100)));
38 cell the_comp_buffer[0x1000 / CELLSIZE] __attribute__ ((aligned(0x100)));
40 cell the_heap[HEAP_SIZE / CELLSIZE] __attribute__ ((aligned(0x1000)));
41 cell *the_heap_start = &the_heap[0];
42 cell *the_heap_end = &the_heap[HEAP_SIZE / CELLSIZE];
44 extern void io_putchar(unsigned char);
45 extern unsigned long call_c(cell arg0, cell arg1, cell arg2, cell entry);
49 writeLogByte_wrapper(long x, long y)
54 result = writeLogByte(x, y);
62 * Standard write function for the libc.
64 * @param fd file descriptor (should always be 1 or 2)
65 * @param buf pointer to the array with the output characters
66 * @param count number of bytes to be written
67 * @return the number of bytes that have been written successfully
70 write(int fd, const void *buf, int count)
73 char *ptr = (char *)buf;
75 if (fd != 1 && fd != 2)
78 for (i = 0; i < count; i++) {
87 /* This should probably be temporary until a better solution is found */
89 asm_cout(long Character, long UART, long NVRAM __attribute__((unused)))
92 io_putchar(Character);