Please rename the existing REMOVED_SPTE to REMOVED_SPTE_MASK, and call thisCan we name it either __REMOVE_SPTE or REMOVED_SPTE_VAL? It's most definitely
simply REMOVED_SPTE. This also makes the patch smaller.
not a mask, it's a full value, e.g. spte |= REMOVED_SPTE_MASK is completely wrong.