ipi_bitmap_high  1568 arch/x86/include/asm/kvm_host.h 		    unsigned long ipi_bitmap_high, u32 min,
ipi_bitmap_high   561 arch/x86/kvm/lapic.c 		    unsigned long ipi_bitmap_high, u32 min,
ipi_bitmap_high   605 arch/x86/kvm/lapic.c 	for_each_set_bit(i, &ipi_bitmap_high,