get_fpx_sw_bytes
sw_bytes = get_fpx_sw_bytes(xbuf);
if (*(uint64_t *)get_fpx_sw_bytes(xbuf1) == xgetbv(0))