arch/arm64/include/asm/sdei.h


1
2
3
4
5
6
7
8

// SPDX-License-Identifier: GPL-2.0
// Copyright (C) 2017 Arm Ltd.
#ifndef __ASM_SDEI_H
#define __ASM_SDEI_H

/* Later patches add the arch specific bits */

#endif /* __ASM_SDEI_H */