request_granted
return_implies_state("request_resource", 0, 0, &request_granted, INT_PTR(1));
return_implies_state_sval("__request_region", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT_PTR(1));
return_implies_state_sval("ioremap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT_PTR(-1));
return_implies_state_sval("pci_iomap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT_PTR(-1));
return_implies_state_sval("__create_workqueue_key", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted,
return_implies_state("request_irq", 0, 0, &request_granted, INT_PTR(0));
return_implies_state("register_netdev", 0, 0, &request_granted, INT_PTR(0));
return_implies_state("misc_register", 0, 0, &request_granted, INT_PTR(0));