1/*-
2 * Copyright (c) 2015 John H. Baldwin <jhb@FreeBSD.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright
9 *    notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 *    notice, this list of conditions and the following disclaimer in the
12 *    documentation and/or other materials provided with the distribution.
13 *
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24 * SUCH DAMAGE.
25 *
26 * $FreeBSD: releng/11.0/lib/libkvm/kvm_aarch64.h 291406 2015-11-27 18:58:26Z jhb $
27 */
28
29#ifndef __KVM_AARCH64_H__
30#define	__KVM_AARCH64_H__
31
32#ifdef __aarch64__
33#include <machine/pte.h>
34#endif
35
36typedef uint64_t	aarch64_physaddr_t;
37typedef uint64_t	aarch64_pte_t;
38
39#define	AARCH64_PAGE_SHIFT	12
40#define	AARCH64_PAGE_SIZE	(1 << AARCH64_PAGE_SHIFT)
41#define	AARCH64_PAGE_MASK	(AARCH64_PAGE_SIZE - 1)
42
43#define	AARCH64_ATTR_MASK	0xfff0000000000fff
44
45#define	AARCH64_ATTR_DESCR_MASK	3
46
47#define	AARCH64_L3_SHIFT	12
48#define	AARCH64_L3_PAGE		0x3
49
50#ifdef __aarch64__
51_Static_assert(PAGE_SHIFT == AARCH64_PAGE_SHIFT, "PAGE_SHIFT mismatch");
52_Static_assert(PAGE_SIZE == AARCH64_PAGE_SIZE, "PAGE_SIZE mismatch");
53_Static_assert(PAGE_MASK == AARCH64_PAGE_MASK, "PAGE_MASK mismatch");
54_Static_assert(ATTR_MASK == AARCH64_ATTR_MASK, "ATTR_MASK mismatch");
55_Static_assert(ATTR_DESCR_MASK == AARCH64_ATTR_DESCR_MASK,
56    "ATTR_DESCR_MASK mismatch");
57_Static_assert(L3_SHIFT == AARCH64_L3_SHIFT, "L3_SHIFT mismatch");
58_Static_assert(L3_PAGE == AARCH64_L3_PAGE, "L3_PAGE mismatch");
59#endif
60
61#endif /* !__KVM_AARCH64_H__ */
62