On Wednesday 22 March 2006 07:31, Chris Wright wrote: > + /* > + * Ensure that the page tables are mapped into the current mm. The > + * page-fault path will copy the page directory pointers from init_mm. > + */ > + for (i = 0; i < area->size; i += PAGE_SIZE) > + (void)__get_user(c, (char __user *)area->addr + i); It would be easier and simpler to just copy the pgd manually. Iirc Jan B. had a patch for a vmalloc_sync() function for this purpose, maybe that one could be used. -Andi
