[acl2/acl2] cf2a67: Slightly refactor an X86ISA file.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: cf2a670d9ac7bbf0060d8fd83602ed3e8f73aa3b
https://github.com/acl2/acl2/commit/cf2a670d9ac7bbf0060d8fd83602ed3e8f73aa3b
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-13 (Fri, 13 Oct 2017)

Changed paths:
A books/projects/x86isa/machine/x86-modes.lisp
M books/projects/x86isa/machine/x86-paging.lisp
M books/projects/x86isa/machine/x86-physical-memory.lisp

Log Message:
-----------
Slightly refactor an X86ISA file.

Pull 64-BIT-MODEP out of x86-paging.lisp (since it is not specific to paging)
into a new x86-modes.lisp file, which we could imagine to extend with the
modeling of additional modes in the future (real-mode, SMM, etc.).

[GitHub]

Branch: refs/heads/master