1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#include <arch/user_access.h>
8
9void armv_init_user_access(void)
10{
11}
12
13