1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __VDSO_JIFFIES_H
 3#define __VDSO_JIFFIES_H
 4
 5#include <asm/param.h>			/* for HZ */
 6#include <vdso/time64.h>
 7
 8/* TICK_NSEC is the time between ticks in nsec assuming SHIFTED_HZ */
 9#define TICK_NSEC ((NSEC_PER_SEC+HZ/2)/HZ)
10
11#endif /* __VDSO_JIFFIES_H */