Symbol: RETPOLINE
arch/x86/kernel/alternative.c
1012
DPRINTK(RETPOLINE, "retpoline at: %pS (%px) len: %d to: %pS",
arch/x86/kernel/alternative.c
1019
DUMP_BYTES(RETPOLINE, ((u8*)addr), len, "%px: orig: ", addr);
arch/x86/kernel/alternative.c
1020
DUMP_BYTES(RETPOLINE, ((u8*)bytes), len, "%px: repl: ", addr);