Searched refs:avx256_t (Results 1 – 2 of 2) sorted by relevance
18 typedef u32 __attribute__((vector_size(32))) avx256_t; typedef20 static inline void _kvm_read_avx_reg(int reg, avx256_t *data) in _kvm_read_avx_reg()45 static inline void _kvm_write_avx_reg(int reg, const avx256_t *data) in _kvm_write_avx_reg()164 static inline void kvm_read_avx_reg(int reg, avx256_t *data) in kvm_read_avx_reg()171 static inline void kvm_write_avx_reg(int reg, const avx256_t *data) in kvm_write_avx_reg()
271 char valptr[sizeof(avx256_t)];273 avx256_t vec_val2;