Hi Stefano,
On 01/06/2022 02:44, Stefano Stabellini wrote:
From: Stefano Stabellini <[email protected]>
Add Rule 5.1, with the additional note that the character limit for Xen
is 40 characters.
The max length identifiers found by ECLAIR are:
__mitigate_spectre_bhb_clear_insn_start
domain_pause_by_systemcontroller_nosync
Both of them are 40 characters long.
Explicitly mention that public headers might have longer identifiers.
Signed-off-by: Stefano Stabellini <[email protected]>
Acked-by: Julien Grall <[email protected]>
Cheers,
--
Julien Grall
