Searched refs:PER_VCPU_DEBUG (Results 1 – 2 of 2) sorted by relevance
49 #define PER_VCPU_DEBUG(...) printf(__VA_ARGS__) macro51 #define PER_VCPU_DEBUG(...) _no_printf(__VA_ARGS__) macro
53 PER_VCPU_DEBUG("vCPU %d execution time: %ld.%.9lds\n", vcpu_idx, in vcpu_worker()