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