void test_ofp_header_version_check(void) { (void) check_use_channels(ofp_header_version_check_wrap); }
void test_ofp_role_generation_id_check(void) { (void) check_use_channels(ofp_role_generation_id_check_wrap); }
void test_ofp_role_channel_update_find(void) { (void) check_use_channels(ofp_role_channel_update_find_wrap); }
void test_ofp_role_channel_check_mask(void) { (void) check_use_channels(ofp_role_channel_check_mask_wrap); }