Searched refs:CPU_MONDO_COUNTER (Results 1 – 1 of 1) sorted by relevance
629 #define CPU_MONDO_COUNTER(cpuid) (cpu_mondo_counter[cpuid]) macro734 xc_rcvd = CPU_MONDO_COUNTER(first_cpu); in hypervisor_xcall_deliver()742 target_cpu_busy = (xc_rcvd < CPU_MONDO_COUNTER(first_cpu)); in hypervisor_xcall_deliver()743 xc_rcvd = CPU_MONDO_COUNTER(first_cpu); in hypervisor_xcall_deliver()