Searched defs:sipi_vector (Results 1 – 3 of 3) sorted by relevance
2214 uint8_t *sipi_vector) in vm_get_run_state()2230 uint8_t sipi_vector) in vm_set_run_state()
308 uint8_t sipi_vector; /* vector of SIPI, if any */ member
148 uint8_t sipi_vector; /* (i) SIPI vector */ member