Symbol: hcall_vphn