TVSO             1126 arch/powerpc/kernel/ptrace.c 	BUILD_BUG_ON(TVSO(vscr) != TVSO(vr[32]));
TVSO             1188 arch/powerpc/kernel/ptrace.c 	BUILD_BUG_ON(TVSO(vscr) != TVSO(vr[32]));