Skip to content

src/tdtunnel: use tdvmcall_sti_halt instead of tdvmcall_halt #97

src/tdtunnel: use tdvmcall_sti_halt instead of tdvmcall_halt

src/tdtunnel: use tdvmcall_sti_halt instead of tdvmcall_halt #97