Fix type of SMC function ID

The SMC function identifier is always a 32-bit integer, regardless of
the caller's execution state and of the SMC calling convention in use.

Change-Id: I8d4f7b9efcea3f00ac2ff0a397ca0d8ab824eecb
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
3 files changed