On 07/10/15 14:04, Julien Grall wrote:> The type of the item in frame_list is xen_pfn_t which is not an unsigned> long on ARM but an uint64_t.Applied to for-linus-4.4, thanks.David