18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (C) 2020 ARM Ltd. 48c2ecf20Sopenharmony_ci */ 58c2ecf20Sopenharmony_ci#ifndef __VDSO_PROCESSOR_H 68c2ecf20Sopenharmony_ci#define __VDSO_PROCESSOR_H 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#ifndef __ASSEMBLY__ 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci#include <asm/vdso/processor.h> 118c2ecf20Sopenharmony_ci 128c2ecf20Sopenharmony_ci#endif /* __ASSEMBLY__ */ 138c2ecf20Sopenharmony_ci 148c2ecf20Sopenharmony_ci#endif /* __VDSO_PROCESSOR_H */ 15