x64 aspec: remove syntax warning

aspec/ainvs: move TLS/ipc buffer FIXME to appropriate position in ADT_AI

aspec: remove old mentions of (retired) globals_frame

aspec/haskell: clean out resolved FIXMEs

x64: fix up definition of performPageInvocation for unmapping pages

x64: spec+refine: plumb call through perform_ioport_invocation

x64: spec: changes for IRQ invocations (VER-879)

x64: more abstract specs and invariants for ASIDs

x64: Add IOPortControlCaps to control IO port allocation

The previous implementation of IOPortCaps has problems with revocability
and determining parency etc. This commit adds IOPortControlCaps which
behave identically to IRQControlCaps -- invoking the IOPortControlCap
allows one to create IOPortCaps with the supplied range.

There now exist invariants to show that there is only one
IOPortControlCap and that all IOPortCaps in the system do not overlap.
Furthermore there is a global record of which IO ports have been
allocated to prevent reissuing the same ports.

x64: VER-917: correct VSpace invocations to update map_type, and add invariants to check that maptype and mapped addresses correspond for PageCaps

x64: adjust definition of Arch.switchToIdleThread (VER-848)

x64: rename setCurrentCR3 et al to use underscores for abstract spec

x64: abstract: add set_cap to perform_page_invocation for unmap, prove invariants

x64: abstract: remove spurious VMPML4E from vm_map_type

x64: fix ArchArch_AI

Also includes some corrections to the abstract specification, and minor
improvements to some existing proofs.

X64: fix perform_asid_pool_invs

x64: spec: update machine functions, invocations, set_vm_root for new
kernel version

x64: Interrupt_AI, ArchInterrupt_AI done

fix ARM build after merge

Also:
- move some ARM-specific things out of Tcb_AI
- port changes from ARM to X64, up to beginning of ArchVSpace_AI

x64: defined a bunch of machine ops that were previously unspecified

x64: fix up ArchIPC_AI

X64: added dummy VMPML4E to vm_page_entry.

needs to be reviewed

x64: Removed unnecessary ASID from PageMap invocation

x64: port device-untyped from ARM

x64: commented out some IOSpace stuff, added machine op definitions.

x64: add arch_split'd x64 spec with IOMMU stuff