DF-5717 / 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_flsll -- patched: f_flsll_gated.c compiled kernel-style (-D_KERNEL, cpufunc.h in effect): FIXCOMPILE-OK: gated flsll.c compiles kernel-style; global flsll symbols in object: 0 (body compiles away on x86_64)