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 <[email protected]>
Acked-by: Jan Beulich <[email protected]>
