Rev 2071 | Go to most recent revision | 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, |