On Sun, Feb 19, 2023 at 12:33 AM Chao Gao <chao.gao@xxxxxxxxx> wrote: > > On Tue, Feb 14, 2023 at 06:46:00PM +0000, Mingwei Zhang wrote: > >- /* xsave data for guest_code */ > >- xsavedata = vm_vaddr_alloc_pages(vm, 3); > >- memset(addr_gva2hva(vm, xsavedata), 0, 3 * getpagesize()); > >- vcpu_args_set(vcpu, 3, amx_cfg, tiledata, xsavedata); > >+ /* XSAVE state for guest_code */ > >+ xstate = vm_vaddr_alloc_pages(vm, DIV_ROUND_UP(XSAVE_SIZE, PAGE_SIZE)); > >+ memset(addr_gva2hva(vm, xstate), 0, DIV_ROUND_UP(XSAVE_SIZE, PAGE_SIZE)); > > ^ this should be the size in bytes instead of in pages. Right? Right, thanks for catching that. I will fix it in the next version.