[PATCH v5 27/34] sparc64: vdso: Move hardware counter read into header