Searched refs:PER_VCPU_DEBUG (Results 1 – 1 of 1) sorted by relevance
35 #define PER_VCPU_DEBUG(...) printf(__VA_ARGS__) macro37 #define PER_VCPU_DEBUG(...) _no_printf(__VA_ARGS__) macro66 PER_VCPU_DEBUG("vCPU %d execution time: %ld.%.9lds\n", vcpu_idx, in vcpu_worker()206 PER_VCPU_DEBUG("userfaulted %ld pages over %ld.%.9lds. (%f/sec)\n", in uffd_handler_thread_fn()266 PER_VCPU_DEBUG("Created uffd thread for HVA range [%p, %p)\n", in setup_demand_paging()