kernel_cleanup_object_bigint_attrs
void kernel_cleanup_object_bigint_attrs(kernel_object_t *object_p);
kernel_cleanup_object_bigint_attrs(objp);