Symbol: tsunami_kill_one_pchip
arch/alpha/kernel/core_tsunami.c
447
tsunami_kill_one_pchip(TSUNAMI_pchip0, 0);
arch/alpha/kernel/core_tsunami.c
449
tsunami_kill_one_pchip(TSUNAMI_pchip1, 1);