[M] Change in coreboot[main]: arch/arm64: Support calling a trusted monitor

[Arthur Heymans (Code Review)]

Attention is currently required from: Benjamin Doron, David Milosevic, Julius Werner.

Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/78284?usp=email )

Change subject: arch/arm64: Support calling a trusted monitor
......................................................................

Patch Set 12:

(1 comment)

File src/arch/arm64/smc.c:

https://review.coreboot.org/c/coreboot/+/78284/comment/b62017dd_fc60027b :
PS11, Line 10: inline uint64_t smc_call(uint32_t function_id, uint64_t arg1, uint64_t arg2, uint64_t arg3,
> It's preferable that `smc()` isn't in the header file, to ensure that callers have to go through `	assert(CONFIG_ARM64_CURRENT_EL != 3)`. Can I `static inline` `smc_call()` in the header, but still define it in the C file?

Does it make sense to have runtime asserts when this could be determined at buildtime (_Static_assert) ?