|
/* SPDX-License-Identifier: GPL-2.0+ */
|
|
/*
|
|
* K3: Architecture common definitions
|
|
*
|
|
* Copyright (C) 2018 Texas Instruments Incorporated - http://www.ti.com/
|
|
* Lokesh Vutla <lokeshvutla@ti.com>
|
|
*/
|
|
|
|
#include <asm/armv7_mpu.h>
|
|
|
|
void setup_k3_mpu_regions(void);
|