| 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 |
| |
| |
| /** @} |
| */ |
| |