On 02/01/2018 08:51 AM, David Woodhouse wrote: > > No, we just need to set IBRS before doing it. The same applies to any > EFI runtime calls, APM and all kinds of other random crap that calls > into firmware. I'm not sure why those aren't showing up. >
Dave, Are you planning to update your IBRS for firmware call patches and repost those? Tim