> sadly %p can't work, since void * doesn't hold resource_size_t with > CONFIG_RESOURCES_64BIT on 32-bit, since resource_size_t would be ULL, > which is why the %p handler would work (although you'd either have to > pass &(resource_size_t) or do a bit of ick around the va_args to snatch > the correct width instead of just void *). Sigh, you are right. However, all the warnings apply to addresses, so I think the type for these addresses is wrong. I can't really imagine a 32-bit kernel running with a 64-bit address space would be useful. Dave -- J. David Anglin dave.anglin@xxxxxxxxxxxxxx National Research Council of Canada (613) 990-0752 (FAX: 952-6602) -- To unsubscribe from this list: send the line "unsubscribe linux-parisc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html