17d9ef309SJohn Baldwin /*- 27d9ef309SJohn Baldwin * SPDX-License-Identifier: BSD-2-Clause 37d9ef309SJohn Baldwin * 47d9ef309SJohn Baldwin * Copyright (c) 2022 John Baldwin <jhb@FreeBSD.org> 57d9ef309SJohn Baldwin */ 67d9ef309SJohn Baldwin 77d9ef309SJohn Baldwin #ifndef __VMMAPI_INTERNAL_H__ 87d9ef309SJohn Baldwin #define __VMMAPI_INTERNAL_H__ 97d9ef309SJohn Baldwin 10*e4656e10SMark Johnston struct vmctx { 11*e4656e10SMark Johnston int fd; 12*e4656e10SMark Johnston uint32_t lowmem_limit; 13*e4656e10SMark Johnston int memflags; 14*e4656e10SMark Johnston size_t lowmem; 15*e4656e10SMark Johnston size_t highmem; 16*e4656e10SMark Johnston char *baseaddr; 17*e4656e10SMark Johnston char *name; 18*e4656e10SMark Johnston }; 197d9ef309SJohn Baldwin 207d9ef309SJohn Baldwin struct vcpu { 217d9ef309SJohn Baldwin struct vmctx *ctx; 227d9ef309SJohn Baldwin int vcpuid; 237d9ef309SJohn Baldwin }; 247d9ef309SJohn Baldwin 25*e4656e10SMark Johnston int vcpu_ioctl(struct vcpu *vcpu, u_long cmd, void *arg); 26*e4656e10SMark Johnston 277d9ef309SJohn Baldwin #endif /* !__VMMAPI_INTERNAL_H__ */ 28