Searched refs:eptp (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h75 static inline int ept_type(uint64_t eptp) argument
77 return ((eptp >> 0) & 0x7);
80 static inline int ept_page_walk_length(uint64_t eptp) argument
82 return ((eptp >> 3) & 0x7);
85 static inline int ept_accessed_dirty_enable(uint64_t eptp) argument
87 return ((eptp >> 6) & 0x1);
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c1132 uint64_t eptp; local
1133 err += vmread(VMX_EPTP_F, &eptp);
1136 int set_ept_type = ept_type(eptp);
1153 assert(ept_page_walk_length(eptp) == 3);
1155 assert(((eptp >> 7) & 0x1F) == 0);
1156 within_pa_width = is_within_pa_width(eptp);
1161 assert(ept_accessed_dirty_enable(eptp) == 0);

Completed in 13 milliseconds