static inline void put_ip6_px(void *p, ip6_addr addr, int plen) { addr = ip6_hton(addr); memcpy(p, &addr, (plen + 7) / 8); }
static inline void put_ip6_px(void *p, ip6_addr addr, uint plen) { addr = ip6_hton(addr); memcpy(p, &addr, BYTES(plen)); }