162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 262306a36Sopenharmony_ci 362306a36Sopenharmony_ci#include <linux/kbuild.h> 462306a36Sopenharmony_ci#include <nvhe/memory.h> 562306a36Sopenharmony_ci#include <nvhe/pkvm.h> 662306a36Sopenharmony_ci 762306a36Sopenharmony_ciint main(void) 862306a36Sopenharmony_ci{ 962306a36Sopenharmony_ci DEFINE(STRUCT_HYP_PAGE_SIZE, sizeof(struct hyp_page)); 1062306a36Sopenharmony_ci DEFINE(PKVM_HYP_VM_SIZE, sizeof(struct pkvm_hyp_vm)); 1162306a36Sopenharmony_ci DEFINE(PKVM_HYP_VCPU_SIZE, sizeof(struct pkvm_hyp_vcpu)); 1262306a36Sopenharmony_ci return 0; 1362306a36Sopenharmony_ci} 14