]> git.karo-electronics.de Git - karo-tx-linux.git/search
drivers/lguest/page_tables.c: rename do_set_pte()