Changeset View
Changeset View
Standalone View
Standalone View
head/lib/libvmmapi/vmmapi.h
| Show First 20 Lines • Show All 215 Lines • ▼ Show 20 Lines | |||||
| int vm_active_cpus(struct vmctx *ctx, cpuset_t *cpus); | int vm_active_cpus(struct vmctx *ctx, cpuset_t *cpus); | ||||
| int vm_suspended_cpus(struct vmctx *ctx, cpuset_t *cpus); | int vm_suspended_cpus(struct vmctx *ctx, cpuset_t *cpus); | ||||
| int vm_debug_cpus(struct vmctx *ctx, cpuset_t *cpus); | int vm_debug_cpus(struct vmctx *ctx, cpuset_t *cpus); | ||||
| int vm_activate_cpu(struct vmctx *ctx, int vcpu); | int vm_activate_cpu(struct vmctx *ctx, int vcpu); | ||||
| int vm_suspend_cpu(struct vmctx *ctx, int vcpu); | int vm_suspend_cpu(struct vmctx *ctx, int vcpu); | ||||
| int vm_resume_cpu(struct vmctx *ctx, int vcpu); | int vm_resume_cpu(struct vmctx *ctx, int vcpu); | ||||
| /* CPU topology */ | |||||
| int vm_set_topology(struct vmctx *ctx, uint16_t sockets, uint16_t cores, | |||||
| uint16_t threads, uint16_t maxcpus); | |||||
| int vm_get_topology(struct vmctx *ctx, uint16_t *sockets, uint16_t *cores, | |||||
| uint16_t *threads, uint16_t *maxcpus); | |||||
| /* | /* | ||||
| * FreeBSD specific APIs | * FreeBSD specific APIs | ||||
| */ | */ | ||||
| int vm_setup_freebsd_registers(struct vmctx *ctx, int vcpu, | int vm_setup_freebsd_registers(struct vmctx *ctx, int vcpu, | ||||
| uint64_t rip, uint64_t cr3, uint64_t gdtbase, | uint64_t rip, uint64_t cr3, uint64_t gdtbase, | ||||
| uint64_t rsp); | uint64_t rsp); | ||||
| int vm_setup_freebsd_registers_i386(struct vmctx *vmctx, int vcpu, | int vm_setup_freebsd_registers_i386(struct vmctx *vmctx, int vcpu, | ||||
| uint32_t eip, uint32_t gdtbase, | uint32_t eip, uint32_t gdtbase, | ||||
| uint32_t esp); | uint32_t esp); | ||||
| void vm_setup_freebsd_gdt(uint64_t *gdtr); | void vm_setup_freebsd_gdt(uint64_t *gdtr); | ||||
| #endif /* _VMMAPI_H_ */ | #endif /* _VMMAPI_H_ */ | ||||