EPT_WIRED
int wired_diff = ((npte & EPT_WIRED) ? 1 : 0) - ((opte & EPT_WIRED) ? 1 : 0);
KASSERT((npte & (EPT_R | EPT_WIRED)) != EPT_WIRED);
KASSERT((opte & (EPT_R | EPT_WIRED)) != EPT_WIRED);
npte |= EPT_WIRED;
if (opte & EPT_WIRED) {
pt_entry_t npte = opte & ~EPT_WIRED;