This one needs to be checked for vmi->arch_interface->v2p != NULL as well.