Searched refs:read_xmm_0_2 (Results 1 – 3 of 3) sorted by relevance
772 static inline void read_xmm_0_2(uint64_t *xmm0_addr, uint64_t *xmm1_addr, uint64_t *xmm2_addr) in read_xmm_0_2() function
481 read_xmm_0_2(&xmm[0], &xmm[2], &xmm[4]); in loadiwkey_vmexit_handler()
229 read_xmm_0_2(&xmm_save[0], &xmm_save[2], &xmm_save[4]); in load_iwkey()
Completed in 7 milliseconds