Searched refs:CPU_MONDO_COUNTER (Results 1 – 1 of 1) sorted by relevance
623 #define CPU_MONDO_COUNTER(cpuid) (cpu_mondo_counter[cpuid]) macro728 xc_rcvd = CPU_MONDO_COUNTER(first_cpu); in hypervisor_xcall_deliver()736 target_cpu_busy = (xc_rcvd < CPU_MONDO_COUNTER(first_cpu)); in hypervisor_xcall_deliver()737 xc_rcvd = CPU_MONDO_COUNTER(first_cpu); in hypervisor_xcall_deliver()