CRISv10: Readd missing header
authorJesper Nilsson <jespern@axis.com>
Tue, 28 Jan 2014 14:14:35 +0000 (15:14 +0100)
committerJesper Nilsson <jespern@axis.com>
Tue, 28 Jan 2014 14:14:35 +0000 (15:14 +0100)
commitcd065a010a97e3c330d1ded9af551664c9689b19
tree5673ff1f4641063c2e4adf3349fb767a8949d693
parent54c0a4b46150db1571d955d598cd342c9f1d9657
CRISv10: Readd missing header

The svinto architecture header was mistakenly removed,
leading to a compile error.

Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>
arch/cris/arch-v10/kernel/process.c