[PATCH v3 04/10] bsps: Break out AArch32 GICv3 support

[Sebastian Huber]

On 04/10/2020 06:18, Kinsey Moore wrote:

> +/**
> + * This architecture-specific function sets the exception vector for handling
> + * IRQs.
> + */
> +void aarch_interrupt_facility_set_exception_handler(void);
What are the rules for using an aarch prefix instead of an arm prefix?