| 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 |
| 29,11 → 29,8 |
|---|
| #ifndef __ASM_H__ |
| #define __ASM_H__ |
| |
| #define PAGE_SIZE 16384 |
| #define PAGE_WIDTH 14 |
| #define PAGE_SIZE 16384 |
| |
| //#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)); |
| |