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