| /* 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); |