Searched refs:CPU_MONDO_COUNTER (Results 1 – 1 of 1) sorted by relevance
626 #define CPU_MONDO_COUNTER(cpuid) (cpu_mondo_counter[cpuid]) macro731 xc_rcvd = CPU_MONDO_COUNTER(first_cpu); in hypervisor_xcall_deliver()739 target_cpu_busy = (xc_rcvd < CPU_MONDO_COUNTER(first_cpu)); in hypervisor_xcall_deliver()740 xc_rcvd = CPU_MONDO_COUNTER(first_cpu); in hypervisor_xcall_deliver()