/* This instantiates the same __always_inline functions as in the non-augmented case, but this time with user-defined callbacks.  */
void __rb_insert_augmented(struct rb_node *node, struct rb_root *root, void(*augment_rotate)(struct rb_node *old, struct rb_node *new))
/* This instantiates the same __always_inline functions as in the non-augmented case, but this time with user-defined callbacks.  */
void __rb_insert_augmented(struct rb_node *node, struct rb_root *root, void(*augment_rotate)(struct rb_node *old, struct rb_node *new))
{
	__rb_insert(node, root, augment_rotate);
}