32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __sparc64_PAGE_H__ |
#define __sparc64_PAGE_H__ |
#ifndef KERN_sparc64_PAGE_H_ |
#define KERN_sparc64_PAGE_H_ |
|
#include <arch/mm/frame.h> |
|
42,6 → 42,8 |
|
#ifdef KERNEL |
|
#ifndef __ASM__ |
|
#include <mm/page.h> |
#include <arch/types.h> |
#include <genarch/mm/page_ht.h> |
53,7 → 55,7 |
uintptr_t address; |
struct { |
uint64_t vpn : 51; /**< Virtual Page Number. */ |
unsigned offset : 13; /**< Offset. */ |
unsigned offset : 13; /**< Offset. */ |
} __attribute__ ((packed)); |
}; |
|
61,6 → 63,8 |
|
extern void page_arch_init(void); |
|
#endif /* !def __ASM__ */ |
|
#endif /* KERNEL */ |
|
#endif |