Searched refs:max_rctl_hndl (Results 1 – 1 of 1) sorted by relevance
187 id_t max_rctl_hndl = 32768; variable2863 rctl_ids = id_space_create("rctl_ids", 1, max_rctl_hndl); in rctl_init()