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