MOS Source Code
|
#include <mos/platform/platform.h>
Go to the source code of this file.
Classes | |
struct | x86_pde64_t |
struct | x86_pde64_huge_t |
struct | x86_pte64_t |
Typedefs | |
typedef struct x86_pde64_t | x86_pmde64_t |
typedef struct x86_pde64_t | x86_pude64_t |
typedef struct x86_pde64_huge_t | x86_pmde64_huge_t |
Functions | |
MOS_STATIC_ASSERT (sizeof(x86_pde64_t)==sizeof(pte_content_t), "x86_pde64_t differs from pde_content_t") | |
MOS_STATIC_ASSERT (sizeof(x86_pde64_huge_t)==sizeof(pte_content_t), "x86_pde64_huge_t differs from pde_content_t") | |
MOS_STATIC_ASSERT (sizeof(x86_pte64_t)==sizeof(pte_content_t), "x86_pde64_t differs from pte_content_t") | |
void | x86_paging_setup (void) |
typedef struct x86_pde64_t x86_pmde64_t |
typedef struct x86_pde64_t x86_pude64_t |
typedef struct x86_pde64_huge_t x86_pmde64_huge_t |
MOS_STATIC_ASSERT | ( | sizeof(x86_pde64_t) | = =sizeof(pte_content_t), |
"x86_pde64_t differs from pde_content_t" | ) |
MOS_STATIC_ASSERT | ( | sizeof(x86_pde64_huge_t) | = =sizeof(pte_content_t), |
"x86_pde64_huge_t differs from pde_content_t" | ) |
MOS_STATIC_ASSERT | ( | sizeof(x86_pte64_t) | = =sizeof(pte_content_t), |
"x86_pde64_t differs from pte_content_t" | ) |
Definition at line 60 of file paging.c.
Referenced by platform_startup_setup_kernel_mm().