162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (C) 2020 ARM Ltd.
462306a36Sopenharmony_ci */
562306a36Sopenharmony_ci#ifndef __VDSO_PROCESSOR_H
662306a36Sopenharmony_ci#define __VDSO_PROCESSOR_H
762306a36Sopenharmony_ci
862306a36Sopenharmony_ci#ifndef __ASSEMBLY__
962306a36Sopenharmony_ci
1062306a36Sopenharmony_ci#include <asm/vdso/processor.h>
1162306a36Sopenharmony_ci
1262306a36Sopenharmony_ci#endif /* __ASSEMBLY__ */
1362306a36Sopenharmony_ci
1462306a36Sopenharmony_ci#endif /* __VDSO_PROCESSOR_H */
15