diff --git a/DeviceKit/drv_rbtree.c b/DeviceKit/drv_rbtree.c
index 77b902f..955553b 100644
--- a/DeviceKit/drv_rbtree.c
+++ b/DeviceKit/drv_rbtree.c
@@ -76,7 +76,8 @@ void rotate_right(rbtree_t* self, rbtree_node_t * y){
     y->parent = x;
 }
 
-static rbtree_node_t * find(rbtree_t* self, const char* key, rbtree_node_t * x){
+OS_STATIC_FORCE_INLINE
+rbtree_node_t * find(rbtree_t* self, const char* key, rbtree_node_t * x){
     while(x){
         int cmp = node_cmp(key, x->device->name);
         if(cmp < 0){
@@ -140,7 +141,7 @@ void node_set_parent(rbtree_node_t * x, rbtree_node_t * parent){
 }
 
 
-OS_STATIC_FORCE_INLINE
+static
 void node_insert_fixup(rbtree_t* tree, rbtree_node_t * node){
     rbtree_node_t * parent=0;
     rbtree_node_t * gparent=0;
@@ -238,7 +239,7 @@ void node_insert(rbtree_t* tree, rbtree_node_t * node){
     node_insert_fixup(tree, node);
 }
 
-OS_STATIC_FORCE_INLINE
+static
 void node_remove_fixeup(rbtree_t* tree, rbtree_node_t * node, rbtree_node_t * parent){
     rbtree_node_t * other;
 
@@ -315,7 +316,7 @@ void node_remove_fixeup(rbtree_t* tree, rbtree_node_t * node, rbtree_node_t * pa
     }
 }
 
-OS_STATIC_FORCE_INLINE
+static
 void node_remove(rbtree_t* tree, rbtree_node_t * node){
     rbtree_node_t * child=NULL;
     rbtree_node_t * parent=NULL;