NAME
        DeletePool --  Drain an entire memory pool (V39)

    SYNOPSIS
        DeletePool(poolHeader)
                   a0

        void DeletePool(void *);

    FUNCTION
        Frees all memory in all pudles of the specified pool header, then
        deletes the pool header.  Individual free calls are not needed.

    INPUTS
        poolHeader - as returned by createpool().

    SEE ALSO
        createpool(), allocpooled(), freepooled()