LCOV - code coverage report
Current view: top level - home/alexey/klever/native-scheduler-work-dir/native-scheduler-work-dir/scheduler/jobs/032ed983781f2acce615a4df71b22f31/linux/drivers/base - dd.c (source / functions) Hit Total Coverage
Test: coverage.info Lines: 3 6 50.0 %
Date: 2017-01-25 Functions: 1 2 50.0 %

          Line data    Source code
       1             : /*
       2             :  * Copyright (c) 2014-2016 ISPRAS (http://www.ispras.ru)
       3             :  * Institute for System Programming of the Russian Academy of Sciences
       4             :  *
       5             :  * Licensed under the Apache License, Version 2.0 (the "License");
       6             :  * you may not use this file except in compliance with the License.
       7             :  * You may obtain a copy of the License at
       8             :  *
       9             :  *   http://www.apache.org/licenses/LICENSE-2.0
      10             :  *
      11             :  * Unless required by applicable law or agreed to in writing, software
      12             :  * distributed under the License is distributed on an "AS IS" BASIS,
      13             :  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
      14             :  * ee the License for the specific language governing permissions and
      15             :  * limitations under the License.
      16             :  */
      17             : 
      18             : #include <linux/device.h>
      19             : #include <verifier/memory.h>
      20             : #include <verifier/nondet.h>
      21             : 
      22             : struct device_private {
      23             :         void *driver_data;
      24             : };
      25             : 
      26             : void *ldv_dev_get_drvdata(const struct device *dev)
      27             : {
      28          35 :         if (dev && dev->p)
      29           7 :                 return dev->p->driver_data;
      30           7 :         return 0;
      31             : }
      32             : 
      33             : /* Do not return any error codes since callers usually don't check them. This
      34             :  * is the case for, say, Linux 3.14 while in, say, Linux 4.7 there is no need
      35             :  * in this model at all (and it will not be invoked - see aspect) since
      36             :  * dev_set_drvdata() is static inline function that always returns
      37             :  * successfully.
      38             :  */
      39             : int ldv_dev_set_drvdata(struct device *dev, void *data)
      40             : {
      41           0 :         dev->p = ldv_xzalloc(sizeof(*dev->p));
      42           0 :         dev->p->driver_data = data;
      43           0 :         return 0;
      44             : }

Generated by: LCOV version 1.10