Add ia32e get_va_pages