xref: /openbmc/linux/arch/arm64/kvm/hyp/hyp-constants.c (revision 2f0754f2)
1 // SPDX-License-Identifier: GPL-2.0-only
2 
3 #include <linux/kbuild.h>
4 #include <nvhe/memory.h>
5 
6 int main(void)
7 {
8 	DEFINE(STRUCT_HYP_PAGE_SIZE,	sizeof(struct hyp_page));
9 	return 0;
10 }
11