[PATCH 2/4] include: Fix standard call types for ARM