SMCCC v1.1 compliant HVC call

From: Souradeep Chakrabarti <schakrabarti_at_microsoft.com>
Date: Mon, 27 Jun 2022 08:57:47 UTC
Hi Andrew,

In Linux we have SMCCC v1.1 compliant HVC call arm_smccc_1_1_hvc(), which is used for SMCCC and HVC call convention.
In FreeBSD do we have something similar?

I can arm_smccc_smc() in sys/dev/psci/smccc.h, but could not find the implementation details of it. If I need to use SMCCC compliant
HVC call, what API should I use?

Thanks & Regards,
Souradeep