lguest: change gpte_addr header
authorGlauber de Oliveira Costa <gcosta@redhat.com>
Thu, 17 Jan 2008 21:18:08 +0000 (19:18 -0200)
committerRusty Russell <rusty@rustcorp.com.au>
Wed, 30 Jan 2008 11:50:18 +0000 (22:50 +1100)
commit934faab464c6a26ed1a226b6cf7111b35405dde1
treeca920090f0fba7d99865ea865c6746882400dbc4
parentae3749dcd8c31dcfbab14ea28c68a944c93f418f
lguest: change gpte_addr header

gpte_addr() does not depend on any guest information. So we wipe out
the lg parameter from it completely.

Signed-off-by: Glauber de Oliveira Costa <gcosta@redhat.com>
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
drivers/lguest/page_tables.c