Symbol: htm_hcall_wrapper