fix the way drivers get xseg port
authorFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 Aug 2012 09:23:27 +0000 (12:23 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 Aug 2012 09:23:58 +0000 (12:23 +0300)
commit58ad0542e1379f696f19025730d69898a7c552e1
treeb66bb354e86429f1e5ee288ada847bc74b3fe881
parentbe1186cea8eab22d7ff0f8d692bbf985f5cdbeb5
fix the way drivers get xseg port
xseg/drivers/kernel/xseg_posix.c
xseg/drivers/user/xseg_posix.c