2 * This file is part of the libpayload project.
4 * Copyright (C) 2008 Advanced Micro Devices, Inc.
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * 3. The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
35 #include <arch/types.h>
40 #define MIN(a,b) ((a) < (b) ? (a) : (b))
41 #define MAX(a,b) ((a) > (b) ? (a) : (b))
42 #define ARRAY_SIZE(a) (sizeof(a) / sizeof((a)[0]))
44 /* drivers/keyboard.c */
45 int keyboard_havechar(void);
46 unsigned char keyboard_get_scancode(void);
47 int keyboard_getchar(void);
49 /* drivers/serial.c */
50 void serial_init(void);
51 void serial_putchar(unsigned char c);
52 int serial_havechar(void);
53 int serial_getchar(void);
55 /* drivers/serial.c */
56 void vga_cursor_enable(int state);
57 void vga_clear_line(uint8_t row, uint8_t ch, uint8_t attr);
58 void vga_fill(uint8_t ch, uint8_t attr);
60 void vga_putc(uint8_t row, uint8_t col, unsigned int c);
61 void vga_putchar(unsigned int ch);
62 void vga_move_cursor(int x, int y);
66 void console_init(void);
68 int puts(const char *s);
72 extern int last_putchar;
74 #define havechar havekey
81 /* libc/ipchecksum.c */
82 unsigned short ipchksum(const unsigned short *ptr, unsigned long nbytes);
86 void *malloc(size_t size);
87 void *calloc(size_t nmemb, size_t size);
88 void *realloc(void *ptr, size_t size);
91 void *memset(void *s, int c, size_t n);
92 void *memcpy(void *dst, const void *src, size_t n);
93 void *memmove(void *dst, const void *src, size_t n);
94 int memcmp(const char *s1, const char *s2, size_t len);
97 int sprintf(char *str, const char *fmt, ...);
98 int vsnprintf(char *str, size_t size, const char *fmt, va_list ap);
99 int vsprintf(char *str, const char *fmt, va_list ap);
100 int printf(const char *fmt, ...);
101 int vprintf(const char *fmt, va_list ap);
104 size_t strnlen(const char *str, size_t maxlen);
105 size_t strlen(const char *str);
106 int strcmp(const char *s1, const char *s2);
107 int strncmp(const char *s1, const char *s2, int maxlen);
108 char *strncpy(char *d, const char *s, int n);
109 char *strcpy(char *d, const char *s);
110 char *strncat(char *d, const char *s, int n);
111 char *strchr(const char *s, int c);
112 char *strdup(const char *s);
113 char *strstr(const char *h, const char *n);
115 /* i386/coreboot.c */
116 int get_coreboot_info(struct sysinfo_t *info);
119 void lib_get_sysinfo(void);
122 /* Timer functions - defined by each architecture. */
123 unsigned int get_cpu_speed(void);
124 void ndelay(unsigned int n);
125 void mdelay(unsigned int n);
126 void delay(unsigned int n);
129 #define abort() halt()
130 void halt(void) __attribute__ ((noreturn));