[PATCH] paravirt: fix parameter names in mmu operations