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