Hypercall from FreeRTOS

[Everaldo-Gomes]

Hi,
How can I configure and perform a hypercall from FreeRTOS?
I'm not sure about all the necessary settings needed.

I created a new ID of value 2 in the hypercall.c, but when executing, the following message is shown.

Platform: Raspberry Pi 4b
Demo: Dual-guest Linux+FreeRTOS

[Everaldo-Gomes]

I found the solution,
The answer was in the smcc.h file.