verify_osdc_wrlocked
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);
verify_osdc_wrlocked(osdc);