#ifndef __HYP_CONSTANTS_H__
#define __HYP_CONSTANTS_H__
/*
 * DO NOT MODIFY.
 *
 * This file was generated by Kbuild
 */

#define STRUCT_HYP_PAGE_SIZE 4 /* sizeof(struct hyp_page) */
#define PKVM_HYP_VM_SIZE 4208 /* sizeof(struct pkvm_hyp_vm) */
#define PKVM_HYP_VCPU_SIZE 10272 /* sizeof(struct pkvm_hyp_vcpu) */

#endif
