HPTE_LOCAL_UPDATE
if (flags & HPTE_LOCAL_UPDATE)
flags |= HPTE_LOCAL_UPDATE;
flags |= HPTE_LOCAL_UPDATE;
update_flags |= HPTE_LOCAL_UPDATE;
int local = flags & HPTE_LOCAL_UPDATE;
int local = flags & HPTE_LOCAL_UPDATE;