89 	GUEST_ASSERT(this_cpu_has_p(X86_PROPERTY_XSTATE_MAX_SIZE_XCR0));  in check_xtile_info()
90 	GUEST_ASSERT(this_cpu_property(X86_PROPERTY_XSTATE_MAX_SIZE_XCR0) <= XSAVE_SIZE);  in check_xtile_info()
93 	GUEST_ASSERT(xtile.xsave_offset == 2816);  in check_xtile_info()
95 	GUEST_ASSERT(xtile.xsave_size == 8192);  in check_xtile_info()
96 	GUEST_ASSERT(sizeof(struct tile_data) >= xtile.xsave_size);  in check_xtile_info()
98 	GUEST_ASSERT(this_cpu_has_p(X86_PROPERTY_AMX_MAX_PALETTE_TABLES));  in check_xtile_info()
99 	GUEST_ASSERT(this_cpu_property(X86_PROPERTY_AMX_MAX_PALETTE_TABLES) >=  in check_xtile_info()
102 	GUEST_ASSERT(this_cpu_has_p(X86_PROPERTY_AMX_NR_TILE_REGS));  in check_xtile_info()
104 	GUEST_ASSERT(xtile.max_names == 8);  in check_xtile_info()
106 	GUEST_ASSERT(xtile.bytes_per_tile == 1024);  in check_xtile_info()
108 	GUEST_ASSERT(xtile.bytes_per_row == 64);  in check_xtile_info()
110 	GUEST_ASSERT(xtile.max_rows == 16);  in check_xtile_info()
129 	GUEST_ASSERT(this_cpu_has(X86_FEATURE_XSAVE));  in init_regs()
135 	GUEST_ASSERT(this_cpu_has(X86_FEATURE_OSXSAVE));  in init_regs()
140 	GUEST_ASSERT((xgetbv(0) & XFEATURE_MASK_XTILE) == XFEATURE_MASK_XTILE);  in init_regs()
154 	GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == 0);  in guest_code()
169 	GUEST_ASSERT(!(xstate->header.xstate_bv & XFEATURE_MASK_XTILE_DATA));  in guest_code()
170 	GUEST_ASSERT(xstate->header.xcomp_bv & XFEATURE_MASK_XTILE_DATA);  in guest_code()
181 	GUEST_ASSERT(!(xstate->header.xstate_bv & XFEATURE_MASK_XTILE_DATA));  in guest_code()
182 	GUEST_ASSERT((xstate->header.xcomp_bv & XFEATURE_MASK_XTILE_DATA));  in guest_code()
185 	GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == XFEATURE_MASK_XTILE_DATA);  in guest_code()
199 	GUEST_ASSERT(!(get_cr0() & X86_CR0_TS));  in guest_nm_handler()
200 	GUEST_ASSERT(rdmsr(MSR_IA32_XFD_ERR) == XFEATURE_MASK_XTILE_DATA);  in guest_nm_handler()
201 	GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == XFEATURE_MASK_XTILE_DATA);  in guest_nm_handler()
203 	GUEST_ASSERT(rdmsr(MSR_IA32_XFD_ERR) == XFEATURE_MASK_XTILE_DATA);  in guest_nm_handler()
204 	GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == XFEATURE_MASK_XTILE_DATA);  in guest_nm_handler()