Expose vmi_init_paging to (re)initialize the paging mode
Print warning when trying to register CR0 events on Xen 4.2-4.4
Merge pull request #193 from tklengyel/cr0_warning

Print warning when trying to register CR0 events on Xen 4.2-4.4
Merge pull request #185 from tklengyel/vmi_init_arch

Expose vmi_init_paging to (re)initialize the arch interface
Make page_info_t and the page lookup functions more readable
Introduce VMI_BIT_MASK macro for easier bitmask readability