Searched refs:PER_VCPU_DEBUG (Results 1 – 3 of 3) sorted by relevance
42 #define PER_VCPU_DEBUG(...) printf(__VA_ARGS__) macro44 #define PER_VCPU_DEBUG(...) _no_printf(__VA_ARGS__) macro
104 PER_VCPU_DEBUG("userfaulted %ld pages over %ld.%.9lds. (%f/sec)\n", in uffd_handler_thread_fn()161 PER_VCPU_DEBUG("Created uffd thread for HVA range [%p, %p)\n", in uffd_setup_demand_paging()
56 PER_VCPU_DEBUG("vCPU %d execution time: %ld.%.9lds\n", vcpu_idx, in vcpu_worker()