Searched refs:check_input_free_device (Results 1 – 2 of 2) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ | ||
H A D | check_input_free_device.c | 61 void check_input_free_device(int id) in check_input_free_device() function |
H A D | check_list.h | 134 CK(check_input_free_device) |