/* The init_mm pagetable is really pinned as soon as its created, but that's before we have page structures to store the bits. So do all the book-keeping now.  */
static __init int xen_mark_pinned(struct mm_struct *mm, struct page *page, enum pt_level level)
/* The init_mm pagetable is really pinned as soon as its created, but that's before we have page structures to store the bits. So do all the book-keeping now.  */
static __init int xen_mark_pinned(struct mm_struct *mm, struct page *page, enum pt_level level)
{
	SetPagePinned(page);
	return 0;
}