SYSDECODE_ABI_FREEBSD32 for #include <sysdecode.h> : armv7 for aarch64?

From: Mark Millard <marklmi_at_yahoo.com>
Date: Tue, 07 Mar 2023 19:43:36 UTC
https://man.freebsd.org/cgi/man.cgi?query=sysdecode&apropos=0&sektion=3&manpath=FreeBSD+13.2-STABLE&arch=default&format=html

reports:

SYSDECODE_ABI_FREEBSD32 32-bit FreeBSD binaries. Supported on amd64
and powerpc64.


But what of contexts with:

# sysctl kern.supported_archs
kern.supported_archs: aarch64 armv7

===
Mark Millard
marklmi at yahoo.com