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