return_implies_state
return_implies_state("refcount_add_not_zero", 1, 1, &match_implies_inc, INT_PTR(1));
return_implies_state("refcount_inc_not_zero", 1, 1, &match_implies_inc, INT_PTR(0));
return_implies_state("atomic_dec_if_positive", 0, INT_MAX, &match_implies_atomic_dec, INT_PTR(0));
return_implies_state("IS_ERR", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR", 1, 1, &match_err, NULL);
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_err, NULL);
return_implies_state("PTR_RET", 0, 0, &match_checked, NULL);
return_implies_state("PTR_RET", -4095, -1, &match_err, NULL);
return_implies_state(func, 0, 0, &match_returns_null,
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_param_valid_ptr, (void *)0);
return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_param_err_or_null, (void *)0);
return_implies_state("IS_ERR", 0, 0, &match_not_err, NULL);
return_implies_state("IS_ERR", 1, 1, &match_err, NULL);
return_implies_state("tomoyo_memory_ok", 1, 1, &match_param_valid_ptr, (void *)0);
return_implies_state(lock->function, 1, 1, &match_lock_held, idx);
return_implies_state(lock->function, 0, 0, &match_lock_failed, idx);
return_implies_state(lock->function, 0, 0, &match_lock_held, idx);
return_implies_state(lock->function, -4095, -1, &match_lock_failed, idx);
return_implies_state("dma_resv_lock", -4095, -1, &match_dma_resv_lock_NULL, 0);
return_implies_state("platform_device_add", 0, 0, &match_added, NULL);
return_implies_state("platform_device_add", -MAX_ERRNO, -1, &match_not_added, NULL);
return_implies_state("request_resource", 0, 0, &request_granted, INT_PTR(1));
return_implies_state("request_resource", -EBUSY, -EBUSY, &request_denied, INT_PTR(1));
return_implies_state("__request_region", 0, 0, &request_denied, INT_PTR(1));
return_implies_state("ioremap", 0, 0, &request_denied, INT_PTR(-1));
return_implies_state("pci_iomap", 0, 0, &request_denied, INT_PTR(-1));
return_implies_state("__create_workqueue_key", 0, 0, &request_denied, INT_PTR(-1));
return_implies_state("request_irq", 0, 0, &request_granted, INT_PTR(0));
return_implies_state("request_irq", -MAX_ERRNO, -1, &request_denied, INT_PTR(0));
return_implies_state("register_netdev", 0, 0, &request_granted, INT_PTR(0));
return_implies_state("register_netdev", -MAX_ERRNO, -1, &request_denied, INT_PTR(0));
return_implies_state("misc_register", 0, 0, &request_granted, INT_PTR(0));
return_implies_state("misc_register", -MAX_ERRNO, -1, &request_denied, INT_PTR(0));
void return_implies_state(const char *look_for, long long start, long long end,