bf_512free(acc) simply puts acc, an accessor, back on buf512_freelist. buf512_freelist is the linked list of all the free accessors that have associated buffers (acc_freelist is the linked list of all the free accessors that do not have associated buffers).
bf_512free() is called from bf_afree().