148 	unsigned long segment_table, page_table, page_frame;  in vdso_alloc_per_cpu()  local
152 	page_table = get_zeroed_page(GFP_KERNEL);  in vdso_alloc_per_cpu()
154 	if (!segment_table || !page_table || !page_frame)  in vdso_alloc_per_cpu()
157 	arch_set_page_dat(virt_to_page(page_table), 0);  in vdso_alloc_per_cpu()
166 	memset64((u64 *)page_table, _PAGE_INVALID, PTRS_PER_PTE);  in vdso_alloc_per_cpu()
168 	*(unsigned long *) segment_table = _SEGMENT_ENTRY + page_table;  in vdso_alloc_per_cpu()
169 	*(unsigned long *) page_table = _PAGE_PROTECT + page_frame;  in vdso_alloc_per_cpu()
179 	free_page(page_table);  in vdso_alloc_per_cpu()
186 	unsigned long segment_table, page_table, page_frame;  in vdso_free_per_cpu()  local
189 	page_table = *(unsigned long *) segment_table;  in vdso_free_per_cpu()
190 	page_frame = *(unsigned long *) page_table;  in vdso_free_per_cpu()
193 	free_page(page_table);  in vdso_free_per_cpu()