|
@@ -66,9 +66,9 @@ int main(void)
|
|
|
DEFINE(__VDSO_ECTG_BASE, offsetof(struct vdso_per_cpu_data, ectg_timer_base));
|
|
|
DEFINE(__VDSO_ECTG_USER, offsetof(struct vdso_per_cpu_data, ectg_user_time));
|
|
|
/* constants used by the vdso */
|
|
|
- DEFINE(CLOCK_REALTIME, CLOCK_REALTIME);
|
|
|
- DEFINE(CLOCK_MONOTONIC, CLOCK_MONOTONIC);
|
|
|
- DEFINE(CLOCK_REALTIME_RES, MONOTONIC_RES_NSEC);
|
|
|
+ DEFINE(__CLOCK_REALTIME, CLOCK_REALTIME);
|
|
|
+ DEFINE(__CLOCK_MONOTONIC, CLOCK_MONOTONIC);
|
|
|
+ DEFINE(__CLOCK_REALTIME_RES, MONOTONIC_RES_NSEC);
|
|
|
BLANK();
|
|
|
/* constants for SIGP */
|
|
|
DEFINE(__SIGP_STOP, sigp_stop);
|