FFA_VERSION
.a0 = FFA_VERSION,
if (func_id != FFA_VERSION &&
case FFA_VERSION:
.a0 = FFA_VERSION, .a1 = FFA_DRIVER_VERSION,