/*
 * Copyright (c) 2014 Apple Inc. All rights reserved.
 */

#ifndef _PEXPERT_ARM_S8000_H
#define _PEXPERT_ARM_S8000_H

#include <pexpert/arm64/AIC.h>
#include <pexpert/arm64/twister.h>

#ifndef	ASSEMBLER

#include <pexpert/arm/S3cUART.h>

#endif

#endif /* ! _PEXPERT_ARM_S8000_H */
