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