/* Flags that are needed in a pagetable entry, with the sense of NX inverted */
static uint32_t mandatory_flags(struct vcpu *v, uint32_t pfec)
{
static uint32_t flags[] = {
/* I/F - Usr Wr */
/* 0 0 0 0 */ _PAGE_PRESENT,
/* 0 0 0 1 */ _PAGE_PRESENT|_PAGE_RW,
/* 0 0 1 0 */ _PAGE_PRESENT|_PAGE_USER,
/* 0 0 1 1 */ _PAGE_PRESENT|_PAGE_RW|_PAGE_USER,
/* 0 1 0 0 */ _PAGE_PRESENT,
/* 0 1 0 1 */ _PAGE_PRESENT|_PAGE_RW,
/* 0 1 1 0 */ _PAGE_PRESENT|_PAGE_USER,
/* 0 1 1 1 */ _PAGE_PRESENT|_PAGE_RW|_PAGE_USER,
/* 1 0 0 0 */ _PAGE_PRESENT|_PAGE_NX_BIT,
/* 1 0 0 1 */ _PAGE_PRESENT|_PAGE_RW|_PAGE_NX_BIT,
/* 1 0 1 0 */ _PAGE_PRESENT|_PAGE_USER|_PAGE_NX_BIT,
/* 1 0 1 1 */ _PAGE_PRESENT|_PAGE_RW|_PAGE_USER|_PAGE_NX_BIT,
/* 1 1 0 0 */ _PAGE_PRESENT|_PAGE_NX_BIT,
/* 1 1 0 1 */ _PAGE_PRESENT|_PAGE_RW|_PAGE_NX_BIT,
/* 1 1 1 0 */ _PAGE_PRESENT|_PAGE_USER|_PAGE_NX_BIT,
/* 1 1 1 1 */ _PAGE_PRESENT|_PAGE_RW|_PAGE_USER|_PAGE_NX_BIT,
};
/* Don't demand not-NX if the CPU wouldn't enforce it. */
if ( !guest_supports_nx(v) )
pfec &= ~PFEC_insn_fetch;
/* Don't demand R/W if the CPU wouldn't enforce it. */
if ( is_hvm_vcpu(v) && unlikely(!hvm_wp_enabled(v))
&& !(pfec & PFEC_user_mode) )
pfec &= ~PFEC_write_access;
return flags[(pfec & 0x1f) >> 1];
}
/* Flags that are needed in a pagetable entry, with the sense of NX inverted */
static uint32_t mandatory_flags(struct vcpu *v, uint32_t pfec)
{
/* Don't demand not-NX if the CPU wouldn't enforce it. */
if ( !guest_supports_nx(v) )
pfec &= ~PFEC_insn_fetch;
/* Don't demand R/W if the CPU wouldn't enforce it. */
if ( is_hvm_vcpu(v) && unlikely(!hvm_wp_enabled(v))
&& !(pfec & PFEC_user_mode) )
pfec &= ~PFEC_write_access;
return gw_page_flags[(pfec & 0x1f) >> 1] | _PAGE_INVALID_BITS;
}
