|
|
1.1 root 1: /******************************************************************************
2: * Copyright (c) 2004, 2008 IBM Corporation
3: * All rights reserved.
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
8: *
9: * Contributors:
10: * IBM Corporation - initial implementation
11: *****************************************************************************/
12:
13: #ifndef KERNEL_H
14: #define KERNEL_H
1.1.1.2 ! root 15:
1.1 root 16: #include <stddef.h>
1.1.1.2 ! root 17: #include <stdint.h>
1.1 root 18:
19: int printk(const char *, ...);
20: void *memcpy(void *, const void *, size_t);
21: void *memset(void *, int, size_t);
1.1.1.2 ! root 22:
! 23: uint64_t get_time(void);
1.1 root 24: void udelay(unsigned int);
25: void mdelay(unsigned int);
26: int getchar(void);
27:
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);
32:
33: void exception_forward(void);
34: void undo_exception(void);
35:
36: #endif
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.