/*
* Copyright (c) 2016, Texas Instruments Incorporated
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <inc/hw_types.h>
#include <driverlib/prcm.h>