NUM_DB_REGS        32 arch/x86/kvm/kvm_svm.h 	unsigned long db_regs[NUM_DB_REGS];
NUM_DB_REGS        39 arch/x86/kvm/kvm_svm.h 	unsigned long host_db_regs[NUM_DB_REGS];