Symbol: __ASM_VDSO_CLOCKSOURCE_H