/branches/arm/boot/arch/arm32/loader/asm.h |
---|
1,5 → 1,5 |
/* |
* Copyright (c) 2006 Martin Decky |
* Copyright (c) 2007 Michal Kebrt |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
30,10 → 30,7 |
#define __ASM_H__ |
#define PAGE_SIZE 16384 |
#define PAGE_WIDTH 14 |
//#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)); |