/*
 * Copyright 2018 NXP
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */

#ifndef __SOC_FSL_HVC_H
#define __SOC_FSL_HVC_H

/* VENDOR HVC 0xC6000000 - 0xC600FFFF */
#define FSL_HVC_SC			0xC6000000

#endif