/boot/trunk/arch/ppc32/loader/asm.h |
---|
30,7 → 30,7 |
#define __ASM_H__ |
void flush_instruction_cache(void); |
void jump_to_kernel(void *addr) __attribute__((noreturn)); |
void jump_to_kernel(void *code, void *memmap) __attribute__((noreturn)); |
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |