/* SPDX-License-Identifier: GPL-2.0-only */
/*
 * Copyright (C) 2020 ARM Ltd.
 */
#ifndef __VDSO_PROCESSOR_H
#define __VDSO_PROCESSOR_H

#ifndef __ASSEMBLY__

#include <asm/vdso/processor.h>

#endif /* __ASSEMBLY__ */

#endif /* __VDSO_PROCESSOR_H */