On Sun, Feb 19, 2023 at 12:33 AM Chao Gao chao.gao@intel.com 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.