firmware: arm_sdei: Add driver for Software Delegated Exceptions

[mirror_ubuntu-bionic-kernel.git] / arch / arm64 / include / asm / sdei.h

// 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 */