/* SPDX-License-Identifier: GPL-2.0-or-later */

#ifndef HW_MISC_S5L8950X_PKE_H
#define HW_MISC_S5L8950X_PKE_H

#include "hw/core/sysbus.h"

#define TYPE_S5L8950X_PKE "s5l8950x-pke"
OBJECT_DECLARE_SIMPLE_TYPE(S5L8950XPKEState, S5L8950X_PKE)

#endif /* HW_MISC_S5L8950X_PKE_H */