I would like to ask about how is the ECALL implemented?
As my guess, it should be initialized a number of TCS which is equal to the number of element in g_ecall_table
and ecall handler dispatch the ecall via EENTER with specific TCS
For studying , please tell me if you know.
For more complete information about compiler optimizations, see our Optimization Notice.