NR_VCPU_TOTAL_REGS
DECLARE_BITMAP(regs_avail, NR_VCPU_TOTAL_REGS);
DECLARE_BITMAP(regs_dirty, NR_VCPU_TOTAL_REGS);
bitmap_fill(vcpu->arch.regs_avail, NR_VCPU_TOTAL_REGS);
bitmap_fill(vcpu->arch.regs_dirty, NR_VCPU_TOTAL_REGS);