Searched refs:xsaveopt64 (Results 1 – 1 of 1) sorted by relevance
138 xsaveopt64(char *addr, uint64_t mask) in xsaveopt64() function164 void xsaveopt64(char *addr, uint64_t mask);207 xsaveopt64((char *)addr, xsave_mask); in fpusave_xsaveopt64()216 xsaveopt64((char *)addr, xsave_mask); in fpusave_xsaveopt3264()