redzone_get_size
alloc = redzone_get_size(addr);
size = redzone_get_size(__DECONST(void *, addr));
return (naddr - redzone_roundup(redzone_get_size(naddr)));
u_long redzone_get_size(caddr_t naddr);