DE
STS_BIT(regs, DE), STS_BIT(regs, AE),
STS_BIT(regs, DE), STS_BIT(regs, AE));
ALIASED_1_EDX_F(DE),
F(DE),
EXS(DE), EXS(DB), EXS(BP), EXS(OF), EXS(BR), EXS(UD), EXS(NM), \
cr4_fixed1_update(X86_CR4_DE, edx, feature_bit(DE));
hstatus, cereg, ioread32(hcr_base + DE), SError);
ioread32(hcr_base + CE), ioread32(hcr_base + DE));
dereg = ioread32(hcr_base + DE);
iowrite32(dereg, hcr_base + DE);
dereg = ioread32(hcr_base + DE);
iowrite32(dereg, hcr_base + DE);
iowrite32(0x00000FFFF, hcr_base + DE);
ioread32(DE + hcr_base),
ioread32(CE + hcr_base), ioread32(DE + hcr_base));