Switch vmi_get_va_pages from using va_page_t to page_info_t
Update get_va_pages test
Merge pull request #150 from tklengyel/switch_va_pages

Switch vmi_get_va_pages from using va_page_t to page_info_t