Fix the following bug:
commit410ed0de5f795378bddd39291f618013b459d912
authorJakub Jermar <jakub@jermar.eu>
Fri, 27 Oct 2006 20:39:59 +0000 (27 20:39 +0000)
committerJakub Jermar <jakub@jermar.eu>
Fri, 27 Oct 2006 20:39:59 +0000 (27 20:39 +0000)
tree187ba479e67febc55930f7415a4debc670495d7c
parentec04b209000b3a97373f9e45740f860a49db9a9b
Fix the following bug:

Ticket #3 data_access_exception after killing task on sparc64
kernel/arch/sparc64/src/mm/tsb.c