/branches/arm/boot/arch/arm32/loader/asm.h |
---|
31,7 → 31,9 |
#define PAGE_SIZE 16384 |
void memcpy(void *dst, void *src, int cnt); |
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
/*void memcpy(void *dst, void *src, int cnt);*/ |
void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
#endif |