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