LCOV - code coverage report
Current view: top level - avtg/fs/fat/fat.ko/linux:drivers:clk2/weaver - fatent.c.aux (source / functions) Hit Total Coverage
Test: coverage.info Lines: 24 24 100.0 %
Date: 2017-01-25 Functions: 12 12 100.0 %

          Line data    Source code
       1             : 
       2             : struct device;
       3             : 
       4             : void *ldv_dev_get_drvdata(const struct device *dev);
       5             : int ldv_dev_set_drvdata(struct device *dev, void *data);
       6             : 
       7             : struct spi_master;
       8             : struct device;
       9             : struct spi_master *ldv_spi_alloc_master(struct device *host, unsigned size);
      10             : 
      11             : #include <linux/ldv/err.h>
      12             : 
      13             : #include <linux/types.h>
      14             : void *ldv_kzalloc(size_t size, gfp_t flags);
      15             : 
      16             : struct clk;
      17             : 
      18             : extern void ldv_clk_disable(struct clk *clk);
      19             : extern int ldv_clk_enable(void);
      20             : 
      21             : #include <linux/ldv/common.h>
      22             : #include <linux/ldv/irq.h>
      23             : #include <verifier/common.h>
      24             : #include <verifier/nondet.h>
      25             : #include <verifier/memory.h>
      26             : #include <verifier/thread.h>
      27             : 
      28             : #include <linux/cdev.h>
      29             : #include <linux/miscdevice.h>
      30             : #include <linux/seq_file.h>
      31             : #include <linux/fs.h>
      32             : #include <linux/pagemap.h>
      33             : 
      34             : 
      35             : struct ldv_struct_insmod_8 {
      36             :  int signal_pending;
      37             : };
      38             : 
      39             : /* EMG Function declarations */
      40             : void ldv_random_containerless_scenario_callback_5_10(int (*)(struct super_block *, struct fat_entry *, int, sector_t ), struct super_block *, struct fat_entry *, int, long unsigned int);
      41             : void ldv_random_containerless_scenario_callback_5_13(int (*)(struct fat_entry *), struct fat_entry *);
      42             : void ldv_random_containerless_scenario_callback_5_14(int (*)(struct fat_entry *), struct fat_entry *);
      43             : void ldv_random_containerless_scenario_callback_5_15(void (*)(struct fat_entry *, int), struct fat_entry *, int);
      44             : void ldv_random_containerless_scenario_callback_5_18(void (*)(struct fat_entry *, int), struct fat_entry *, int);
      45             : void ldv_random_containerless_scenario_callback_5_4(void (*)(struct super_block *, int, int *, sector_t *), struct super_block *, int, int *, sector_t *);
      46             : void ldv_random_containerless_scenario_callback_6_10(int (*)(struct super_block *, struct fat_entry *, int, sector_t ), struct super_block *, struct fat_entry *, int, long unsigned int);
      47             : void ldv_random_containerless_scenario_callback_6_13(int (*)(struct fat_entry *), struct fat_entry *);
      48             : void ldv_random_containerless_scenario_callback_6_14(int (*)(struct fat_entry *), struct fat_entry *);
      49             : void ldv_random_containerless_scenario_callback_6_15(void (*)(struct fat_entry *, int), struct fat_entry *, int);
      50             : void ldv_random_containerless_scenario_callback_6_18(void (*)(struct fat_entry *, int), struct fat_entry *, int);
      51             : void ldv_random_containerless_scenario_callback_6_4(void (*)(struct super_block *, int, int *, sector_t *), struct super_block *, int, int *, sector_t *);
      52             : 
      53             : /* EMG variable declarations */
      54             : 
      55             : /* EMG variable initialization */
      56             : 
      57             : /* EMG function definitions */
      58             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_5_10 */
      59             : void ldv_random_containerless_scenario_callback_5_10(int (*arg0)(struct super_block *, struct fat_entry *, int, sector_t ), struct super_block *arg1, struct fat_entry *arg2, int arg3, long unsigned int arg4) {
      60           4 :  ((& fat12_ent_bread))(arg1, arg2, arg3, arg4);
      61           1 : }
      62             : 
      63             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_5_13 */
      64             : void ldv_random_containerless_scenario_callback_5_13(int (*arg0)(struct fat_entry *), struct fat_entry *arg1) {
      65           2 :  ((& fat16_ent_get))(arg1);
      66           1 : }
      67             : 
      68             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_5_14 */
      69             : void ldv_random_containerless_scenario_callback_5_14(int (*arg0)(struct fat_entry *), struct fat_entry *arg1) {
      70           2 :  ((& fat16_ent_next))(arg1);
      71           1 : }
      72             : 
      73             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_5_15 */
      74             : void ldv_random_containerless_scenario_callback_5_15(void (*arg0)(struct fat_entry *, int), struct fat_entry *arg1, int arg2) {
      75           2 :  ((& fat16_ent_put))(arg1, arg2);
      76           1 : }
      77             : 
      78             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_5_18 */
      79             : void ldv_random_containerless_scenario_callback_5_18(void (*arg0)(struct fat_entry *, int), struct fat_entry *arg1, int arg2) {
      80           2 :  ((& fat16_ent_set_ptr))(arg1, arg2);
      81           1 : }
      82             : 
      83             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_5_4 */
      84             : void ldv_random_containerless_scenario_callback_5_4(void (*arg0)(struct super_block *, int, int *, sector_t *), struct super_block *arg1, int arg2, int *arg3, long unsigned int *arg4) {
      85           2 :  ((& fat12_ent_blocknr))(arg1, arg2, arg3, arg4);
      86           1 : }
      87             : 
      88             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_10 */
      89             : void ldv_random_containerless_scenario_callback_6_10(int (*arg0)(struct super_block *, struct fat_entry *, int, sector_t ), struct super_block *arg1, struct fat_entry *arg2, int arg3, long unsigned int arg4) {
      90           2 :  ((& fat_ent_bread))(arg1, arg2, arg3, arg4);
      91           1 : }
      92             : 
      93             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_13 */
      94             : void ldv_random_containerless_scenario_callback_6_13(int (*arg0)(struct fat_entry *), struct fat_entry *arg1) {
      95           2 :  ((& fat32_ent_get))(arg1);
      96           1 : }
      97             : 
      98             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_14 */
      99             : void ldv_random_containerless_scenario_callback_6_14(int (*arg0)(struct fat_entry *), struct fat_entry *arg1) {
     100           2 :  ((& fat32_ent_next))(arg1);
     101           1 : }
     102             : 
     103             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_15 */
     104             : void ldv_random_containerless_scenario_callback_6_15(void (*arg0)(struct fat_entry *, int), struct fat_entry *arg1, int arg2) {
     105           2 :  ((& fat32_ent_put))(arg1, arg2);
     106           1 : }
     107             : 
     108             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_18 */
     109             : void ldv_random_containerless_scenario_callback_6_18(void (*arg0)(struct fat_entry *, int), struct fat_entry *arg1, int arg2) {
     110           2 :  ((& fat32_ent_set_ptr))(arg1, arg2);
     111           1 : }
     112             : 
     113             : /* AUX_FUNC_CALLBACK ldv_random_containerless_scenario_callback_6_4 */
     114             : void ldv_random_containerless_scenario_callback_6_4(void (*arg0)(struct super_block *, int, int *, sector_t *), struct super_block *arg1, int arg2, int *arg3, long unsigned int *arg4) {
     115           2 :  ((& fat_ent_blocknr))(arg1, arg2, arg3, arg4);
     116           1 : }
     117             : 
     118             : 
     119             : /* AUX_FUNC  ERR_PTR */
     120             : static inline void *ERR_PTR (long int error)
     121             : {
     122             : 
     123             :  return ldv_err_ptr(error);
     124             : }
     125             : 
     126             : /* AUX_FUNC  PTR_ERR */
     127             : static inline long int PTR_ERR (void const *ptr)
     128             : {
     129             : 
     130             :  return ldv_ptr_err(ptr);
     131             : }
     132             : 
     133             : /* AUX_FUNC  IS_ERR */
     134             : static inline long int IS_ERR (void const *ptr)
     135             : {
     136             : 
     137             :  return ldv_is_err(ptr);
     138             : }
     139             : 
     140             : /* AUX_FUNC  IS_ERR_OR_NULL */
     141             : static inline long int IS_ERR_OR_NULL (void const *ptr)
     142             : {
     143             : 
     144             :  return ldv_is_err_or_null(ptr);
     145             : }
     146             : 
     147             : /* AUX_FUNC  kzalloc */
     148             : static inline void *kzalloc (size_t size, gfp_t flags)
     149             : {
     150             : 
     151             :  return ldv_kzalloc(size, flags);
     152             : }

Generated by: LCOV version 1.10