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