Function GC_remove_header

v2/engine/boehm_gc/headers.c:280–287

Remove the header for block h */

/* Remove the header for block h */
void GC_remove_header(struct hblk *h)
{
    hdr ** ha;
    
    GET_HDR_ADDR(h, ha);
    free_hdr(*ha);
    *ha = 0;
}

/* Remove forwarding counts for h */
void GC_remove_counts(struct hblk *h, size_t sz/* bytes */)