write_dte_lower128
write_dte_lower128(ptr, new);
write_dte_lower128(ptr, new);
write_dte_lower128(ptr, new);
write_dte_lower128(ptr, new);
write_dte_lower128(ptr, &clear);
write_dte_lower128(ptr, new);
write_dte_lower128(ptr, new);