pi_inject_timer   121 arch/x86/kvm/lapic.c 	return pi_inject_timer && kvm_vcpu_apicv_active(vcpu);
pi_inject_timer   159 arch/x86/kvm/x86.c int __read_mostly pi_inject_timer = -1;
pi_inject_timer   160 arch/x86/kvm/x86.c module_param(pi_inject_timer, bint, S_IRUGO | S_IWUSR);
pi_inject_timer  7306 arch/x86/kvm/x86.c 	if (pi_inject_timer == -1)
pi_inject_timer  7307 arch/x86/kvm/x86.c 		pi_inject_timer = housekeeping_enabled(HK_FLAG_TIMER);
pi_inject_timer   304 arch/x86/kvm/x86.h extern int pi_inject_timer;