ALT_REPL_PTR       51 arch/arm64/kernel/alternative.c 	replptr = (unsigned long)ALT_REPL_PTR(alt);
ALT_REPL_PTR      115 arch/arm64/kernel/alternative.c 	replptr = ALT_REPL_PTR(alt);
ALT_REPL_PTR      180 arch/arm64/kernel/alternative.c 			alt_cb  = ALT_REPL_PTR(alt);