x86_page_table_writing_insn
bool x86_page_table_writing_insn(struct x86_emulate_ctxt *ctxt);
!x86_page_table_writing_insn(ctxt) &&