vdso_end
text_pages = (vdso_end - vdso_start) >> PAGE_SHIFT;
extern char vdso_start[], vdso_end[];
extern char vdso_start[], vdso_end[];
.vdso_code_end = vdso_end,
extern char vdso_start[], vdso_end[];
vdso_pages = (vdso_end - vdso_start) >> PAGE_SHIFT;
extern char vdso_start[], vdso_end[];
vdso_info.size = PAGE_ALIGN(vdso_end - vdso_start);
extern char vdso_start[], vdso_end[];
.vdso_code_end = vdso_end,
return PAGE_ALIGN(vdso_end - vdso_start);
vdso_mapping.pages = vdso_setup_pages(vdso_start, vdso_end);
extern char vdso_start[], vdso_end[];
vdso_text_len = vdso_end - vdso_start;
extern char vdso_start[], vdso_end[];
BUG_ON(vdso_end - vdso_start > PAGE_SIZE);