RPTE_ATTR_MASK
#define PG_PTE_CACHE RPTE_ATTR_MASK
if ((be64toh(*l2e) & RPTE_ATTR_MASK) == cache_bits) {
if ((be64toh(*l3e) & RPTE_ATTR_MASK) == cache_bits) {
if ((be64toh(*l2e) & RPTE_ATTR_MASK) != cache_bits) {
RPTE_ATTR_MASK);
if ((be64toh(*l3e) & RPTE_ATTR_MASK) != cache_bits) {
RPTE_ATTR_MASK);
if ((be64toh(*pte) & RPTE_ATTR_MASK) != cache_bits) {
RPTE_ATTR_MASK);