My analysis was wrong. It's the io.popen() call in core.lib.files_in_directory() when called from lib.hardware.bus.host_has_vfio() that causes the profiler to hang. Any idea why?