> > +DEFINE_GUEST_HANDLE(uint32_t); > > Do you really need to introduce (step by step) handles for all those > uintNN_t types in a way different from Xen's > (__DEFINE_XEN_GUEST_HANDLE(uint32, uint32_t))? Oh, no. Good eye - I will change it be uint32. > > Looks good to me otherwise. Thank you for time! -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html