Local variable in function release_pte at drivers/lguest/page_tables.c, line 242 References: drivers/lguest/page_tables.c, line 242 drivers/lguest/page_tables.c, line 248 drivers/lguest/page_tables.c, line 249 drivers/lguest/page_tables.c, line 799 drivers/lguest/page_tables.c, line 801 drivers/lguest/page_tables.c, line 810 drivers/lguest/page_tables.c, line 814 drivers/lguest/page_tables.c, line 1145 drivers/lguest/page_tables.c, line 1148 drivers/lguest/page_tables.c, line 1149 drivers/lguest/page_tables.c, line 1150 drivers/lguest/page_tables.c, line 1152 drivers/lguest/page_tables.c, line 1153 drivers/lguest/page_tables.c, line 1154 drivers/lguest/page_tables.c, line 1171 drivers/lguest/page_tables.c, line 1208 drivers/lguest/page_tables.c, line 1211 drivers/lguest/page_tables.c, line 1218 drivers/lguest/page_tables.c, line 1222