26,12 → 26,39 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
#ifndef __ASM_H__ |
#define __ASM_H__ |
|
/** @addtogroup arm32boot |
* @{ |
*/ |
/** @file |
*/ |
|
|
#ifndef BOOT_arm32_ASM_H |
#define BOOT_arm32_ASM_H |
|
|
/** Copies #cnt bytes from #dst to #src. |
* |
* @param dst Destination address. |
* @param src Source address. |
* @param cnt Count of bytes to be copied. |
*/ |
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
|
/*void memcpy(void *dst, void *src, int cnt);*/ |
|
/** Jumps to the kernel. |
* |
* @param entry Kernel entry point address. |
* @param bootinfo Structure holding information about loaded tasks. |
* @param bootinto_size Size of the #bootinfo structure. |
*/ |
void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
|
|
#endif |
|
|
/** @} |
*/ |
|