Searched refs:tdcr (Results 1 – 1 of 1) sorted by relevance
1473 u32 tmp1, tmp2, tdcr; in update_divide_count() local1475 tdcr = kvm_lapic_get_reg(apic, APIC_TDCR); in update_divide_count()1476 tmp1 = tdcr & 0xf; in update_divide_count()