Re: [PATCH 0/1] MR6461: include: Fix jmp_buf on ARM64

[André Zwing (＠AndreRH)]

It's only used on the PE side, so you're right, it's just only implicitly documented.
Sorry for the noise