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