the particular c compilation problem itself can be solved through export_library, or automatically via jit in Unified Python First Compilation Flow through tvm.compile
After that, you should be able to at least call into a function by its name(not directly use rt_mod, but use rt_mod["main"], however, ptx packing through c compiler can be slower than llvm, and indeed this path is not well checked.