On 23/09/2015 09:56, Borislav Petkov wrote: > [ 50.474002] walk_shadow_page_get_mmio_spte: detect reserved bits on spte, > addr 0xb8000 (level 4, 0xf0000000000f8) > [ 50.484249] walk_shadow_page_get_mmio_spte: detect reserved bits on spte, > addr 0xb8000 (level 3, 0xf000000000078) > [ 50.494492] walk_shadow_page_get_mmio_spte: detect reserved bits on spte, > addr 0xb8000 (level 2, 0xf000000000078)
It's checking against EPT format, no surprise that it complains... Paolo -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
