linux/include/vdso/helpers.h