1 /*- 2 * SPDX-License-Identifier: BSD-2-Clause 3 * 4 * Copyright (c) 2022 John Baldwin <jhb@FreeBSD.org> 5 */ 6 7 #ifndef __VMMAPI_INTERNAL_H__ 8 #define __VMMAPI_INTERNAL_H__ 9 10 struct vmctx { 11 int fd; 12 uint32_t lowmem_limit; 13 int memflags; 14 size_t lowmem; 15 size_t highmem; 16 char *baseaddr; 17 char *name; 18 }; 19 20 struct vcpu { 21 struct vmctx *ctx; 22 int vcpuid; 23 }; 24 25 int vcpu_ioctl(struct vcpu *vcpu, u_long cmd, void *arg); 26 27 #endif /* !__VMMAPI_INTERNAL_H__ */ 28