DF-5716 / fix_run.log
fix_run: symbol census on the gated, kernel-style-compiled object (recorded by build.sh '== fix validation' on the guest; see build.log / fix_build.log) -- baseline: ungated verbatim body, out-of-line object defines the symbol: 0000000000000000 T k_flsl -- patched: f_flsl_gated.c compiled kernel-style (-D_KERNEL, cpufunc.h in effect): FIXCOMPILE-OK: gated flsl.c compiles kernel-style; global flsl symbols in object: 0 (body compiles away on x86_64)