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
*****************************************************************************/
19
int printk(const char *, ...);
20
void *memcpy(void *, const void *, size_t);
21
void *memset(void *, int, size_t);
23
uint64_t get_time(void);
24
void udelay(unsigned int);
25
void mdelay(unsigned int);
28
int strcmp(const char *, const char *);
29
char *strcpy(char *, const char *);
30
int printf(const char *, ...);
31
void *malloc_aligned(size_t size, int align);
33
void exception_forward(void);
34
void undo_exception(void);