(I'm sorry if you receive duplicates of this, but I've got a reply back from our mail system that several of the recipients did not have their host names resolved correctly on the first attempt.)
On 07.08.2019 20:36, Oleksandr wrote: >> There's one more thing for the re-alloc case though (besides >> cosmetic aspects): The incoming pointer should also be verified >> to be of correct type. > > Jan, how this could be technically implemented, or are these any existing > examples in Xen? See x86's copy_to_guest_offset(), for example. To get the compiler to emit a warning (at least), a (typically otherwise dead) comparison of pointers is commonly used. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel