fn set_vcpu_thread_local(vcpu: Option<&dyn VcpuArch>, signal_num: c_int)