1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#include <config.h>
8#include <machine/assembler.h>
9
10#if defined(CONFIG_ARM_CORTEX_A53)
11
12/* A53 hardware does not support TLB locking */
13BEGIN_FUNC(lockTLBEntry)
14    bx lr
15END_FUNC(lockTLBEntry)
16
17#endif
18
19