blob: 28dfad27399104179ce1850fa8e29b5ebea91439 (
plain) (
tree)
|
|
#ifndef JOVE_ARCH_x86_64_PAGING_H
#define JOVE_ARCH_x86_64_PAGING_H 1
#include <stdint.h>
typedef union PageMappingLevelEntry
{
struct {
uint8_t p : 1; /* Present */
uint8_t rw : 1; /* Read/write. 0 for RO.*/
uint8_t us : 1; /* User/supervisor. 0 for DPL3 forbid */
uint8_t pwt : 1;
uint8_t pcd : 1;
uint8_t a : 1; /* Accessed */
uint8_t d : 1; /* Dirty */
uint8_t ps_pat : 1;
uint8_t g : 1; /* Global */
uint8_t _r0 : 2;
uint8_t r : 1;
uint64_t paddr : 35;
uint8_t _r1;
uint8_t pk : 4;
uint8_t xd : 1;
}__attribute__((packed));
uint64_t value;
} __attribute__((packed)) pmle_t;
#endif
|