1 // SPDX-License-Identifier: GPL-2.0-only 1 2 3 #include <linux/kbuild.h> 4 #include <nvhe/memory.h> 5 #include <nvhe/pkvm.h> 6 7 int main(void) 8 { 9 DEFINE(STRUCT_HYP_PAGE_SIZE, sizeof 10 DEFINE(PKVM_HYP_VM_SIZE, sizeof 11 DEFINE(PKVM_HYP_VCPU_SIZE, sizeof 12 return 0; 13 } 14
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.