Searched refs:read_xcr (Results 1 – 2 of 2) sorted by relevance
741 static inline uint64_t read_xcr(int32_t reg) in read_xcr() function
892 ectx->xcr0 = read_xcr(0); in save_xsave_area()
Completed in 10 milliseconds