const VDSO = arch_bits.VDSO;