Searched defs:sipi_vector (Results 1 – 3 of 3) sorted by relevance
185 int sipi_vector; member
2098 uint32_t sipi_vector; member2478 uint8_t sipi_vector) in cpu_x86_load_seg_cache_sipi()
353 __u32 sipi_vector; member