arm_ffa.h revision d0c0bce8
1