Searched refs:x2apic_state (Results 1 – 9 of 9) sorted by relevance
| /NextBSD/sys/amd64/vmm/ |
| HD | x86.c | 95 enum x2apic_state x2apic_state; in x86_emulate_cpuid() local
220 error = vm_get_x2apic_state(vm, vcpu_id, &x2apic_state); in x86_emulate_cpuid()
241 if (x2apic_state != X2APIC_DISABLED) in x86_emulate_cpuid()
|
| HD | vmm.c | 100 enum x2apic_state x2apic_state; /* (i) APIC mode */ member
2298 vm_get_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state *state) in vm_get_x2apic_state()
2303 *state = vm->vcpu[vcpuid].x2apic_state; in vm_get_x2apic_state()
2309 vm_set_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state state) in vm_set_x2apic_state()
2317 vm->vcpu[vcpuid].x2apic_state = state; in vm_set_x2apic_state()
|
| /NextBSD/sys/amd64/vmm/io/ |
| HD | vlapic.h | 33 enum x2apic_state;
78 void vlapic_set_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state s);
|
| HD | vlapic.c | 1499 vlapic_set_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state state) in vlapic_set_x2apic_state()
|
| /NextBSD/lib/libvmmapi/ |
| HD | vmmapi.h | 43 enum x2apic_state;
172 int vm_get_x2apic_state(struct vmctx *ctx, int vcpu, enum x2apic_state *s);
173 int vm_set_x2apic_state(struct vmctx *ctx, int vcpu, enum x2apic_state s);
|
| HD | vmmapi.c | 957 vm_get_x2apic_state(struct vmctx *ctx, int vcpu, enum x2apic_state *state) in vm_get_x2apic_state()
971 vm_set_x2apic_state(struct vmctx *ctx, int vcpu, enum x2apic_state state) in vm_set_x2apic_state()
|
| /NextBSD/sys/amd64/include/ |
| HD | vmm.h | 89 enum x2apic_state { enum
223 int vm_get_x2apic_state(struct vm *vm, int vcpu, enum x2apic_state *state);
224 int vm_set_x2apic_state(struct vm *vm, int vcpu, enum x2apic_state state);
|
| HD | vmm_dev.h | 166 enum x2apic_state state;
|
| /NextBSD/usr.sbin/bhyvectl/ |
| HD | bhyvectl.c | 265 enum x2apic_state x2apic_state; variable
1717 x2apic_state = strtol(optarg, NULL, 0); in main()
1888 error = vm_set_x2apic_state(ctx, vcpu, x2apic_state); in main()
1937 error = vm_get_x2apic_state(ctx, vcpu, &x2apic_state); in main()
1939 printf("x2apic_state[%d]\t%d\n", vcpu, x2apic_state); in main()
|