|
1 | 1 | #pragma once |
2 | 2 |
|
3 | 3 | #include <stdint.h> |
| 4 | +#include <stdarg.h> |
4 | 5 |
|
5 | 6 | #define ALIGNAS(x, align) (((x) + ((align) - 1)) & ~((align) - 1)) |
6 | 7 |
|
7 | 8 | // Kernel functions |
8 | | - |
9 | | -#define kernel_memcpy ((void* (*)(void*, const void*, int)) 0x08131D04) |
10 | | -#define kernel_memset ((void* (*)(void*, int, unsigned int)) 0x08131DA0) |
11 | | -#define kernel_strncpy ((char* (*)(char*, const char*, unsigned int)) 0x081329B8) |
12 | | -#define kernel_disable_interrupts ((int (*)(void)) 0x0812E778) |
13 | | -#define kernel_enable_interrupts ((int (*)(int)) 0x0812E78C) |
14 | | -#define kernel_bsp_command_5 ((int (*)(const char*, int offset, const char*, int size, void *buffer)) 0x0812EC40) |
15 | | -#define kernel_vsnprintf ((int (*)(char *, size_t, const char *, va_list)) 0x0813293c) |
16 | | -#define kernel_snprintf ((int (*)(char *, size_t, const char *, ...)) 0x08132988) |
17 | | -#define kernel_strncmp ((int (*)(const char *, const char *, size_t)) 0x08132a14) |
18 | | -#define kernel_invalidate_icache ((void (*)(void)) 0x0812DCF0) |
19 | | -#define kernel_invalidate_dcache ((void (*)(unsigned int, unsigned int)) 0x08120164) |
20 | | -#define kernel_ios_shutdown ((void (*)(int)) 0xffffdc48) |
21 | | -#define kernel_ios_reset ((void (*)(void)) 0x08129760) |
22 | | -#define kernel_flush_dcache ((void (*)(unsigned int, unsigned int)) 0x08120160) |
| 9 | +void* kernel_memcpy(void*, const void*, int); |
| 10 | +void* kernel_memset(void*, int, unsigned int); |
| 11 | +char* kernel_strncpy(char*, const char*, unsigned int); |
| 12 | +int kernel_disable_interrupts(void); |
| 13 | +int kernel_enable_interrupts(int); |
| 14 | +int kernel_bsp_command_5(const char*, int offset, const char*, int size, void *buffer); |
| 15 | +int kernel_vsnprintf(char *, size_t, const char *, va_list); |
| 16 | +int kernel_snprintf(char *, size_t, const char *, ...); |
| 17 | +int kernel_strncmp(const char *, const char *, size_t); |
| 18 | +void kernel_invalidate_icache(void); |
| 19 | +void kernel_invalidate_dcache(unsigned int, unsigned int); |
| 20 | +void kernel_ios_shutdown(int); |
| 21 | +void kernel_ios_reset(void); |
| 22 | +void kernel_flush_dcache(unsigned int, unsigned int); |
| 23 | +int setClientCapability(int pid, int fid, uint64_t mask); |
23 | 24 |
|
24 | 25 | static inline unsigned int disable_mmu(void) |
25 | 26 | { |
|
0 commit comments