__VDSO_PAGES
static_assert(__VDSO_PAGES == VDSO_NR_PAGES);
BUILD_BUG_ON(VDSO_NR_PAGES != __VDSO_PAGES);
DEFINE(__VDSO_PAGES, VDSO_NR_PAGES);
static_assert(VDSO_NR_PAGES == __VDSO_PAGES);
static_assert(__VDSO_PAGES == VDSO_NR_PAGES);
BUILD_BUG_ON(VDSO_NR_PAGES != __VDSO_PAGES);
BUILD_BUG_ON(VDSO_NR_PAGES != __VDSO_PAGES);
image->size + __VDSO_PAGES * PAGE_SIZE, 0, 0);
text_start = addr + __VDSO_PAGES * PAGE_SIZE;
static_assert(VDSO_NR_PAGES + VDSO_NR_VCLOCK_PAGES == __VDSO_PAGES);
#define VDSO_VCLOCK_PAGES_START(_b) ((_b) + (__VDSO_PAGES - VDSO_NR_VCLOCK_PAGES) * PAGE_SIZE)
PROVIDE(vdso_u_data = . - __VDSO_PAGES * PAGE_SIZE); \