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