On 05/11/2017 17:15, Liran Alon wrote: > When running L2, #UD should be intercepted by L1 or just forwarded > directly to L2. It should not reach L0 x86 emulator. > Therefore, set intercept for #UD only based on L1 exception-bitmap. > > Also add BUG_ON() on L0 #UD intercept handlers to make sure it is never > reached while running L2. ... and please make this WARN_ON_ONCE(1) instead. It's very wrong but also harmless to hit the #UD handlers, so it's not necessary to hang the whole host hard. Paolo
