On 23.05.2024 13:16, Andrew Cooper wrote: > With the exception of one case in read_bndcfgu() which can use ilog2(), > the *_POS defines are unused. > > X86_XCR0_X87 is the name used by both the SDM and APM, rather than > X86_XCR0_FP. > > No functional change. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Acked-by: Jan Beulich <jbeul...@suse.com>