arch/x86_64/include/mango/machine/pmap.h

#ifndef MANGO_X86_64_PMAP_H_
#define MANGO_X86_64_PMAP_H_

#include <arch/paging.h>

typedef pml4t_ptr_t ml_pmap_t;
typedef uint64_t ml_pfn_t;

#endif
meta: rename 2024-11-02 11:31:51 +00:00			`#ifndef MANGO_X86_64_PMAP_H_`
			`#define MANGO_X86_64_PMAP_H_`
x86_64: implement bootstrap function for pmap interface 2023-02-06 20:50:28 +00:00
			`#include <arch/paging.h>`

			`typedef pml4t_ptr_t ml_pmap_t;`
			`typedef uint64_t ml_pfn_t;`

			`#endif`