| // SPDX-License-Identifier: GPL-2.0-only | |
| #include <linux/kbuild.h> | |
| #include <nvhe/memory.h> | |
| #include <nvhe/pkvm.h> | |
| int main(void) | |
| { | |
| DEFINE(STRUCT_HYP_PAGE_SIZE, sizeof(struct hyp_page)); | |
| DEFINE(PKVM_HYP_VM_SIZE, sizeof(struct pkvm_hyp_vm)); | |
| DEFINE(PKVM_HYP_VCPU_SIZE, sizeof(struct pkvm_hyp_vcpu)); | |
| return 0; | |
| } |