Searched refs:srcu_key (Results 1 – 1 of 1) sorted by relevance
191 int srcu_key; in pagefault_single_data_segment() local198 srcu_key = srcu_read_lock(&mib_dev->mr_srcu); in pagefault_single_data_segment()294 srcu_read_unlock(&mib_dev->mr_srcu, srcu_key); in pagefault_single_data_segment()