On 01/07/2021 17:23, Olaf Hering wrote: > Am Thu, 1 Jul 2021 16:25:10 +0100 > schrieb Andrew Cooper <andrew.coop...@citrix.com>: > >> - p->extd.max_leaf = min(p->extd.max_leaf, 0x1cu); >> + p->extd.max_leaf = 0x80000000 | min(p->extd.max_leaf & 0xffff, >> 0x1cu); > Yes, this fixes it for me. Thanks.
Fantastic. I'll try and do a proper patch in due course. On further thought, I think I'm going to go with the slightly simpler p->extd.max_leaf = min(p->extd.max_leaf, 0x8000001c); This is a policy obtained directly from Xen, which means it is running on a 64bit capable system, which means that 0x80000008 is the lowest number which can possibly exist in extd.max_leaf. ~Andrew
