pcn_kmsg_done(void *msg) assumes that its argument is a valid pointer to a (malloc'd) struct pcn_kmsg_hdr. This is not the case in all invocations, e.g., issue https://github.com/ssrg-vt/popcorn-kernel/issues/63. We need to hunt down and patch any remaining buggy invocations.
pcn_kmsg_done(void *msg)
assumes that its argument is a valid pointer to a (malloc'd)struct pcn_kmsg_hdr
. This is not the case in all invocations, e.g., issue https://github.com/ssrg-vt/popcorn-kernel/issues/63. We need to hunt down and patch any remaining buggy invocations.List of call sites to check: