arch/arm64/kvm/hyp/hyp-constants.c

   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
   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 }