AMDV1PT_FMT_D
if (READ_ONCE(*tablep) & AMDV1PT_FMT_D)
WRITE_ONCE(*tablep, READ_ONCE(*tablep) & ~(u64)AMDV1PT_FMT_D);
u64 new = pts->entry | AMDV1PT_FMT_D;