static void __init create_trampoline(unsigned long addr)
{
/* The maximum range of a single instruction branch, is the current
static void __init create_trampoline(unsigned long addr)
{
/* The maximum range of a single instruction branch, is the current