kernel_cleanup_extra_attr
void kernel_cleanup_extra_attr(kernel_object_t *object_p);
kernel_cleanup_extra_attr(new_objp);
kernel_cleanup_extra_attr(new_objp);
kernel_cleanup_extra_attr(old_object);
kernel_cleanup_extra_attr(objp);