46,9 → 46,9 |
|
#ifndef __ASM__ |
|
#include <mm/page.h> |
#include <arch/types.h> |
#include <genarch/mm/page_ht.h> |
//#include <arch/types.h> |
//#include <genarch/mm/page_ht.h> |
#include <arch/interrupt.h> |
|
extern uintptr_t physmem_base; |
|
55,16 → 55,14 |
#define KA2PA(x) (((uintptr_t) (x)) + physmem_base) |
#define PA2KA(x) (((uintptr_t) (x)) - physmem_base) |
|
union page_address { |
typedef union { |
uintptr_t address; |
struct { |
uint64_t vpn : 51; /**< Virtual Page Number. */ |
unsigned offset : 13; /**< Offset. */ |
} __attribute__ ((packed)); |
}; |
} page_address_t; |
|
typedef union page_address page_address_t; |
|
extern void page_arch_init(void); |
|
#endif /* !def __ASM__ */ |