Rev 2071 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2141 | ||
|---|---|---|---|
| Line 31... | Line 31... | ||
| 31 | #define BOOT_sparc64_ASM_H_ |
31 | #define BOOT_sparc64_ASM_H_ |
| 32 | 32 | ||
| 33 | #include "types.h" |
33 | #include "types.h" |
| 34 | #include "main.h" |
34 | #include "main.h" |
| 35 | 35 | ||
| 36 | #define PAGE_SIZE 8192 |
36 | #define PAGE_WIDTH 14 |
| 37 | #define PAGE_WIDTH 13 |
37 | #define PAGE_SIZE (1 << PAGE_WIDTH) |
| 38 | 38 | ||
| 39 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
39 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
| 40 | 40 | ||
| 41 | extern void halt(void); |
41 | extern void halt(void); |
| 42 | extern void jump_to_kernel(void *entry, uint64_t cfg, bootinfo_t *bootinfo, |
42 | extern void jump_to_kernel(void *entry, uint64_t cfg, bootinfo_t *bootinfo, |