seccomp_arch_to_string  438 src/core/dbus-execute.c                 name = seccomp_arch_to_string(PTR_TO_UINT32(id) - 1);
seccomp_arch_to_string 2424 src/core/execute.c                         fprintf(f, " %s", strna(seccomp_arch_to_string(PTR_TO_UINT32(id) - 1)));