coding style change
commitd7e3fa668f022eef3ff46bde138d8a874b93f18d
authorMartin Decky <martin@decky.cz>
Wed, 2 Aug 2006 12:02:45 +0000 (2 12:02 +0000)
committerMartin Decky <martin@decky.cz>
Wed, 2 Aug 2006 12:02:45 +0000 (2 12:02 +0000)
tree38f86c42fd2a272e4db9b35ec072506b42b0b46b
parent32820c089b1bac35de9ffd864f59220ab7051259
coding style change
kernel/arch/xen32/src/userspace.c