#include <asm/page_types.h>
  #include <linux/linkage.h>
  
  __PAGE_ALIGNED_DATA
  
  	.globl vdso_start, vdso_end
  	.align PAGE_SIZE
  vdso_start:
  	.incbin "arch/x86/vdso/vdso.so"
  vdso_end:
  	.align PAGE_SIZE /* extra data here leaks to userspace. */
  
  .previous
  
  	.globl vdso_pages
  	.bss
  	.align 8
  	.type vdso_pages, @object
  vdso_pages:
  	.zero (vdso_end - vdso_start + PAGE_SIZE - 1) / PAGE_SIZE * 8
  	.size vdso_pages, .-vdso_pages