xc_map_foreign_batch and 'Bus error' or 'Bad address'.

xc_map_foreign_batch and 'Bus error' or 'Bad address'.

[Paradox]

Hi

I'm tried to use xc_map_foreign_batch to map a page. I don't understand 
precisely which is the parameter *arr in unsigned long xen_pfn_t type. 
This is a pfn?

I tried to call xc_map_foreign_batch with a machine address mapped with 
xm_map_foreign _range and in this way I receive a "Bus error" message.

If I call xc_map_foreign_batch with the MFN I receive a "XXXXXXX: Bad 
address" error.

I think must be called with pfn. If it is so, I must convert a MFN in 
PFN, right? I see in xc_domain_save e translate_mfn_to_pfn. How I can 
include to call this marco?

Many Thanks.

Bye