Hello Sending the updated patch series with the warnings fixed. The only difference is in the glibc patch (added a cast when calling clean_inlined_ports) and the MiG patch, which required a 3 line change to add appropriate casts from mach_port_name_inlined_t* to mach_port_t* in server.c.
Flavio