search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

SMC0001: Remove test of clobbered registers #116

Closed kent-mcleod closed 6 months ago

kent-mcleod commented 6 months ago

ATF implementations don't clobber x2 and x3 registers in response to ARM_STD_SVC_VERSION calls.

kent-mcleod commented 6 months ago

https://github.com/ARM-software/arm-trusted-firmware/blob/514d022fdae9305d4381bbf7ad19db878cfaa8eb/include/arch/aarch64/smccc_helpers.h#L40-L42