Changeset View
Changeset View
Standalone View
Standalone View
sys/amd64/include/vmm.h
Context not available. | |||||
return (*info->iptr); | return (*info->iptr); | ||||
} | } | ||||
#ifdef INVARIANTS | |||||
struct mtx *vcpu_mtx(struct vm *vm, int vcpuid); | |||||
#endif | |||||
/* | /* | ||||
* Return 1 if device indicated by bus/slot/func is supposed to be a | * Return 1 if device indicated by bus/slot/func is supposed to be a | ||||
* pci passthrough device. | * pci passthrough device. | ||||
Context not available. | |||||
int vcpu_set_state(struct vm *vm, int vcpu, enum vcpu_state state, | int vcpu_set_state(struct vm *vm, int vcpu, enum vcpu_state state, | ||||
bool from_idle); | bool from_idle); | ||||
enum vcpu_state vcpu_get_state(struct vm *vm, int vcpu, int *hostcpu); | enum vcpu_state vcpu_get_state(struct vm *vm, int vcpu, int *hostcpu); | ||||
enum vcpu_state vcpu_get_state_locked(struct vm *vm, int vcpu, int *hostcpu); | |||||
enum vcpu_state vcpu_get_state_(struct vm *vm, int vcpu, int *hostcpu, int locked); | |||||
static int __inline | |||||
vcpu_is_running_(struct vm *vm, int vcpu, int *hostcpu, int locked) | |||||
{ | |||||
if (locked) | |||||
return (vcpu_get_state_locked(vm, vcpu, hostcpu) == VCPU_RUNNING); | |||||
else | |||||
return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING); | |||||
} | |||||
static int __inline | static int __inline | ||||
vcpu_is_running(struct vm *vm, int vcpu, int *hostcpu) | vcpu_is_running(struct vm *vm, int vcpu, int *hostcpu) | ||||
Context not available. |