1// SPDX-License-Identifier: GPL-2.0
2#include <stdio.h>
3#include <string.h>
4#include <linux/compiler.h>
5
6#include "debug.h"
7#include "tests/tests.h"
8#include "util/find-map.c"
9
10#define VECTORS__MAP_NAME "[vectors]"
11
12int test__vectors_page(struct test *test __maybe_unused,
13		       int subtest __maybe_unused)
14{
15	void *start, *end;
16
17	if (find_map(&start, &end, VECTORS__MAP_NAME)) {
18		pr_err("%s not found, is CONFIG_KUSER_HELPERS enabled?\n",
19		       VECTORS__MAP_NAME);
20		return TEST_FAIL;
21	}
22
23	return TEST_OK;
24}
25