Searched refs:sipi_vec (Results 1 – 2 of 2) sorted by relevance
191 uint8_t *sipi_vec);193 uint8_t sipi_vec);
1329 vm_get_run_state(struct vm *vm, int vcpuid, uint32_t *state, uint8_t *sipi_vec) in vm_get_run_state() argument1341 *sipi_vec = vcpu->sipi_vector; in vm_get_run_state()1348 vm_set_run_state(struct vm *vm, int vcpuid, uint32_t state, uint8_t sipi_vec) in vm_set_run_state() argument1363 vcpu->sipi_vector = sipi_vec; in vm_set_run_state()