PLUGSB4RESET       46 arch/x86/platform/uv/tlb_uv.c static int plugsb4reset		= PLUGSB4RESET;
PLUGSB4RESET       58 arch/x86/platform/uv/tlb_uv.c 	{&plugsb4reset,          PLUGSB4RESET},