drivers/lguest/page_tables.c: rename do_set_pte()