LCOV - code coverage report
Current view: top level - avtg/drivers/mmc/core/mmc_core.ko/linux:drivers:clk2/weaver - bus.c.aux (source / functions) Hit Total Coverage
Test: coverage.info Lines: 118 118 100.0 %
Date: 2017-01-25 Functions: 59 59 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/device.h>
      29             : #include <linux/platform_device.h>
      30             : #include <linux/pm.h>
      31             : #include <linux/rtc.h>
      32             : #include <linux/timer.h>
      33             : 
      34             : 
      35             : struct ldv_struct_platform_instance_2 {
      36             :  int signal_pending;
      37             : };
      38             : 
      39             : struct ldv_struct_timer_scenario_24 {
      40             :  struct timer_list *arg0;
      41             :  int signal_pending;
      42             : };
      43             : 
      44             : /* EMG Function declarations */
      45             : void ldv_pm_ops_scenario_resume_1_14(int (*)(struct device *), struct device *);
      46             : void ldv_rtc_class_scenario_callback_10_17(int (*)(struct device *), struct device *);
      47             : void ldv_rtc_class_scenario_callback_10_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      48             : void ldv_rtc_class_scenario_callback_11_17(int (*)(struct device *), struct device *);
      49             : void ldv_rtc_class_scenario_callback_11_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      50             : void ldv_rtc_class_scenario_callback_12_17(int (*)(struct device *), struct device *);
      51             : void ldv_rtc_class_scenario_callback_12_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      52             : void ldv_rtc_class_scenario_callback_13_17(int (*)(struct device *), struct device *);
      53             : void ldv_rtc_class_scenario_callback_13_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      54             : void ldv_rtc_class_scenario_callback_14_17(int (*)(struct device *), struct device *);
      55             : void ldv_rtc_class_scenario_callback_14_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      56             : void ldv_rtc_class_scenario_callback_15_17(int (*)(struct device *), struct device *);
      57             : void ldv_rtc_class_scenario_callback_15_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      58             : void ldv_rtc_class_scenario_callback_16_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
      59             : void ldv_rtc_class_scenario_callback_16_16(int (*)(struct device *), struct device *);
      60             : void ldv_rtc_class_scenario_callback_16_17(int (*)(struct device *), struct device *);
      61             : void ldv_rtc_class_scenario_callback_16_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      62             : void ldv_rtc_class_scenario_callback_16_4(int (*)(struct device *), struct device *);
      63             : void ldv_rtc_class_scenario_callback_17_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
      64             : void ldv_rtc_class_scenario_callback_17_16(int (*)(struct device *), struct device *);
      65             : void ldv_rtc_class_scenario_callback_17_17(int (*)(struct device *), struct device *);
      66             : void ldv_rtc_class_scenario_callback_17_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      67             : void ldv_rtc_class_scenario_callback_17_4(int (*)(struct device *), struct device *);
      68             : void ldv_rtc_class_scenario_callback_18_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
      69             : void ldv_rtc_class_scenario_callback_18_16(int (*)(struct device *), struct device *);
      70             : void ldv_rtc_class_scenario_callback_18_17(int (*)(struct device *), struct device *);
      71             : void ldv_rtc_class_scenario_callback_18_18(ssize_t (*)(struct device *, struct device_attribute *, char *), struct device *, struct device_attribute *, char *);
      72             : void ldv_rtc_class_scenario_callback_18_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      73             : void ldv_rtc_class_scenario_callback_18_4(int (*)(struct device *), struct device *);
      74             : void ldv_rtc_class_scenario_callback_19_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
      75             : void ldv_rtc_class_scenario_callback_19_16(int (*)(struct device *), struct device *);
      76             : void ldv_rtc_class_scenario_callback_19_17(int (*)(struct device *), struct device *);
      77             : void ldv_rtc_class_scenario_callback_19_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      78             : void ldv_rtc_class_scenario_callback_19_4(int (*)(struct device *), struct device *);
      79             : void ldv_rtc_class_scenario_callback_20_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
      80             : void ldv_rtc_class_scenario_callback_20_16(int (*)(struct device *), struct device *);
      81             : void ldv_rtc_class_scenario_callback_20_17(int (*)(struct device *), struct device *);
      82             : void ldv_rtc_class_scenario_callback_20_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      83             : void ldv_rtc_class_scenario_callback_20_4(int (*)(struct device *), struct device *);
      84             : void ldv_rtc_class_scenario_callback_3_15(int (*)(struct device *, struct device_driver *), struct device *, struct device_driver *);
      85             : void ldv_rtc_class_scenario_callback_3_16(int (*)(struct device *), struct device *);
      86             : void ldv_rtc_class_scenario_callback_3_17(int (*)(struct device *), struct device *);
      87             : void ldv_rtc_class_scenario_callback_3_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      88             : void ldv_rtc_class_scenario_callback_3_22(int (*)(struct device *, struct kobj_uevent_env *), struct device *, struct kobj_uevent_env *);
      89             : void ldv_rtc_class_scenario_callback_3_4(int (*)(struct device *), struct device *);
      90             : void ldv_rtc_class_scenario_callback_4_17(int (*)(struct device *), struct device *);
      91             : void ldv_rtc_class_scenario_callback_4_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      92             : void ldv_rtc_class_scenario_callback_5_17(int (*)(struct device *), struct device *);
      93             : void ldv_rtc_class_scenario_callback_5_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      94             : void ldv_rtc_class_scenario_callback_6_17(int (*)(struct device *), struct device *);
      95             : void ldv_rtc_class_scenario_callback_6_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      96             : void ldv_rtc_class_scenario_callback_7_17(int (*)(struct device *), struct device *);
      97             : void ldv_rtc_class_scenario_callback_7_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
      98             : void ldv_rtc_class_scenario_callback_8_17(int (*)(struct device *), struct device *);
      99             : void ldv_rtc_class_scenario_callback_8_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
     100             : void ldv_rtc_class_scenario_callback_9_17(int (*)(struct device *), struct device *);
     101             : void ldv_rtc_class_scenario_callback_9_21(int (*)(struct device *, pm_message_t ), struct device *, struct pm_message);
     102             : 
     103             : /* EMG variable declarations */
     104             : 
     105             : /* EMG variable initialization */
     106             : 
     107             : /* EMG function definitions */
     108             : /* AUX_FUNC_CALLBACK ldv_pm_ops_scenario_resume_1_14 */
     109             : void ldv_pm_ops_scenario_resume_1_14(int (*arg0)(struct device *), struct device *arg1) {
     110           6 :  ((& mmc_bus_resume))(arg1);
     111           3 : }
     112             : 
     113             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_17 */
     114             : void ldv_rtc_class_scenario_callback_10_17(int (*arg0)(struct device *), struct device *arg1) {
     115           2 :  ((& mmc_bus_resume))(arg1);
     116           1 : }
     117             : 
     118             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_10_21 */
     119             : void ldv_rtc_class_scenario_callback_10_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     120           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     121           1 : }
     122             : 
     123             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_17 */
     124             : void ldv_rtc_class_scenario_callback_11_17(int (*arg0)(struct device *), struct device *arg1) {
     125           2 :  ((& mmc_bus_resume))(arg1);
     126           1 : }
     127             : 
     128             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_11_21 */
     129             : void ldv_rtc_class_scenario_callback_11_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     130           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     131           1 : }
     132             : 
     133             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_17 */
     134             : void ldv_rtc_class_scenario_callback_12_17(int (*arg0)(struct device *), struct device *arg1) {
     135           2 :  ((& mmc_bus_resume))(arg1);
     136           1 : }
     137             : 
     138             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_12_21 */
     139             : void ldv_rtc_class_scenario_callback_12_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     140           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     141           1 : }
     142             : 
     143             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_17 */
     144             : void ldv_rtc_class_scenario_callback_13_17(int (*arg0)(struct device *), struct device *arg1) {
     145           2 :  ((& mmc_bus_resume))(arg1);
     146           1 : }
     147             : 
     148             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_13_21 */
     149             : void ldv_rtc_class_scenario_callback_13_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     150           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     151           1 : }
     152             : 
     153             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_17 */
     154             : void ldv_rtc_class_scenario_callback_14_17(int (*arg0)(struct device *), struct device *arg1) {
     155           2 :  ((& mmc_bus_resume))(arg1);
     156           1 : }
     157             : 
     158             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_14_21 */
     159             : void ldv_rtc_class_scenario_callback_14_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     160           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     161           1 : }
     162             : 
     163             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_17 */
     164             : void ldv_rtc_class_scenario_callback_15_17(int (*arg0)(struct device *), struct device *arg1) {
     165           2 :  ((& mmc_bus_resume))(arg1);
     166           1 : }
     167             : 
     168             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_15_21 */
     169             : void ldv_rtc_class_scenario_callback_15_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     170           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     171           1 : }
     172             : 
     173             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_15 */
     174             : void ldv_rtc_class_scenario_callback_16_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
     175           2 :  ((& mmc_bus_match))(arg1, arg2);
     176           1 : }
     177             : 
     178             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_16 */
     179             : void ldv_rtc_class_scenario_callback_16_16(int (*arg0)(struct device *), struct device *arg1) {
     180           2 :  ((& mmc_bus_remove))(arg1);
     181           1 : }
     182             : 
     183             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_17 */
     184             : void ldv_rtc_class_scenario_callback_16_17(int (*arg0)(struct device *), struct device *arg1) {
     185           2 :  ((& mmc_bus_resume))(arg1);
     186           1 : }
     187             : 
     188             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_21 */
     189             : void ldv_rtc_class_scenario_callback_16_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     190           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     191           1 : }
     192             : 
     193             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_16_4 */
     194             : void ldv_rtc_class_scenario_callback_16_4(int (*arg0)(struct device *), struct device *arg1) {
     195           2 :  ((& mmc_bus_probe))(arg1);
     196           1 : }
     197             : 
     198             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_15 */
     199             : void ldv_rtc_class_scenario_callback_17_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
     200           2 :  ((& mmc_bus_match))(arg1, arg2);
     201           1 : }
     202             : 
     203             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_16 */
     204             : void ldv_rtc_class_scenario_callback_17_16(int (*arg0)(struct device *), struct device *arg1) {
     205           2 :  ((& mmc_bus_remove))(arg1);
     206           1 : }
     207             : 
     208             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_17 */
     209             : void ldv_rtc_class_scenario_callback_17_17(int (*arg0)(struct device *), struct device *arg1) {
     210           2 :  ((& mmc_bus_resume))(arg1);
     211           1 : }
     212             : 
     213             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_21 */
     214             : void ldv_rtc_class_scenario_callback_17_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     215           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     216           1 : }
     217             : 
     218             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_17_4 */
     219             : void ldv_rtc_class_scenario_callback_17_4(int (*arg0)(struct device *), struct device *arg1) {
     220           2 :  ((& mmc_bus_probe))(arg1);
     221           1 : }
     222             : 
     223             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_15 */
     224             : void ldv_rtc_class_scenario_callback_18_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
     225           2 :  ((& mmc_bus_match))(arg1, arg2);
     226           1 : }
     227             : 
     228             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_16 */
     229             : void ldv_rtc_class_scenario_callback_18_16(int (*arg0)(struct device *), struct device *arg1) {
     230           2 :  ((& mmc_bus_remove))(arg1);
     231           1 : }
     232             : 
     233             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_17 */
     234             : void ldv_rtc_class_scenario_callback_18_17(int (*arg0)(struct device *), struct device *arg1) {
     235           2 :  ((& mmc_bus_resume))(arg1);
     236           1 : }
     237             : 
     238             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_18 */
     239             : void ldv_rtc_class_scenario_callback_18_18(ssize_t (*arg0)(struct device *, struct device_attribute *, char *), struct device *arg1, struct device_attribute *arg2, char *arg3) {
     240           2 :  ((& mmc_type_show))(arg1, arg2, arg3);
     241           1 : }
     242             : 
     243             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_21 */
     244             : void ldv_rtc_class_scenario_callback_18_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     245           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     246           1 : }
     247             : 
     248             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_18_4 */
     249             : void ldv_rtc_class_scenario_callback_18_4(int (*arg0)(struct device *), struct device *arg1) {
     250           2 :  ((& mmc_bus_probe))(arg1);
     251           1 : }
     252             : 
     253             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_15 */
     254             : void ldv_rtc_class_scenario_callback_19_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
     255           2 :  ((& mmc_bus_match))(arg1, arg2);
     256           1 : }
     257             : 
     258             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_16 */
     259             : void ldv_rtc_class_scenario_callback_19_16(int (*arg0)(struct device *), struct device *arg1) {
     260           2 :  ((& mmc_bus_remove))(arg1);
     261           1 : }
     262             : 
     263             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_17 */
     264             : void ldv_rtc_class_scenario_callback_19_17(int (*arg0)(struct device *), struct device *arg1) {
     265           2 :  ((& mmc_bus_resume))(arg1);
     266           1 : }
     267             : 
     268             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_21 */
     269             : void ldv_rtc_class_scenario_callback_19_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     270           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     271           1 : }
     272             : 
     273             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_19_4 */
     274             : void ldv_rtc_class_scenario_callback_19_4(int (*arg0)(struct device *), struct device *arg1) {
     275           2 :  ((& mmc_bus_probe))(arg1);
     276           1 : }
     277             : 
     278             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_15 */
     279             : void ldv_rtc_class_scenario_callback_20_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
     280           2 :  ((& mmc_bus_match))(arg1, arg2);
     281           1 : }
     282             : 
     283             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_16 */
     284             : void ldv_rtc_class_scenario_callback_20_16(int (*arg0)(struct device *), struct device *arg1) {
     285           2 :  ((& mmc_bus_remove))(arg1);
     286           1 : }
     287             : 
     288             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_17 */
     289             : void ldv_rtc_class_scenario_callback_20_17(int (*arg0)(struct device *), struct device *arg1) {
     290           2 :  ((& mmc_bus_resume))(arg1);
     291           1 : }
     292             : 
     293             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_21 */
     294             : void ldv_rtc_class_scenario_callback_20_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     295           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     296           1 : }
     297             : 
     298             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_20_4 */
     299             : void ldv_rtc_class_scenario_callback_20_4(int (*arg0)(struct device *), struct device *arg1) {
     300           2 :  ((& mmc_bus_probe))(arg1);
     301           1 : }
     302             : 
     303             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_15 */
     304             : void ldv_rtc_class_scenario_callback_3_15(int (*arg0)(struct device *, struct device_driver *), struct device *arg1, struct device_driver *arg2) {
     305           2 :  ((& mmc_bus_match))(arg1, arg2);
     306           1 : }
     307             : 
     308             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_16 */
     309             : void ldv_rtc_class_scenario_callback_3_16(int (*arg0)(struct device *), struct device *arg1) {
     310           2 :  ((& mmc_bus_remove))(arg1);
     311           1 : }
     312             : 
     313             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_17 */
     314             : void ldv_rtc_class_scenario_callback_3_17(int (*arg0)(struct device *), struct device *arg1) {
     315           2 :  ((& mmc_bus_resume))(arg1);
     316           1 : }
     317             : 
     318             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_21 */
     319             : void ldv_rtc_class_scenario_callback_3_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     320           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     321           1 : }
     322             : 
     323             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_22 */
     324             : void ldv_rtc_class_scenario_callback_3_22(int (*arg0)(struct device *, struct kobj_uevent_env *), struct device *arg1, struct kobj_uevent_env *arg2) {
     325           4 :  ((& mmc_bus_uevent))(arg1, arg2);
     326           1 : }
     327             : 
     328             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_3_4 */
     329             : void ldv_rtc_class_scenario_callback_3_4(int (*arg0)(struct device *), struct device *arg1) {
     330           2 :  ((& mmc_bus_probe))(arg1);
     331           1 : }
     332             : 
     333             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_17 */
     334             : void ldv_rtc_class_scenario_callback_4_17(int (*arg0)(struct device *), struct device *arg1) {
     335           2 :  ((& mmc_bus_resume))(arg1);
     336           1 : }
     337             : 
     338             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_4_21 */
     339             : void ldv_rtc_class_scenario_callback_4_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     340           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     341           1 : }
     342             : 
     343             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_17 */
     344             : void ldv_rtc_class_scenario_callback_5_17(int (*arg0)(struct device *), struct device *arg1) {
     345           2 :  ((& mmc_bus_resume))(arg1);
     346           1 : }
     347             : 
     348             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_5_21 */
     349             : void ldv_rtc_class_scenario_callback_5_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     350           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     351           1 : }
     352             : 
     353             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_17 */
     354             : void ldv_rtc_class_scenario_callback_6_17(int (*arg0)(struct device *), struct device *arg1) {
     355           2 :  ((& mmc_bus_resume))(arg1);
     356           1 : }
     357             : 
     358             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_6_21 */
     359             : void ldv_rtc_class_scenario_callback_6_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     360           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     361           1 : }
     362             : 
     363             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_17 */
     364             : void ldv_rtc_class_scenario_callback_7_17(int (*arg0)(struct device *), struct device *arg1) {
     365           2 :  ((& mmc_bus_resume))(arg1);
     366           1 : }
     367             : 
     368             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_7_21 */
     369             : void ldv_rtc_class_scenario_callback_7_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     370           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     371           1 : }
     372             : 
     373             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_17 */
     374             : void ldv_rtc_class_scenario_callback_8_17(int (*arg0)(struct device *), struct device *arg1) {
     375           2 :  ((& mmc_bus_resume))(arg1);
     376           1 : }
     377             : 
     378             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_8_21 */
     379             : void ldv_rtc_class_scenario_callback_8_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     380           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     381           1 : }
     382             : 
     383             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_17 */
     384             : void ldv_rtc_class_scenario_callback_9_17(int (*arg0)(struct device *), struct device *arg1) {
     385           2 :  ((& mmc_bus_resume))(arg1);
     386           1 : }
     387             : 
     388             : /* AUX_FUNC_CALLBACK ldv_rtc_class_scenario_callback_9_21 */
     389             : void ldv_rtc_class_scenario_callback_9_21(int (*arg0)(struct device *, pm_message_t ), struct device *arg1, struct pm_message arg2) {
     390           2 :  ((& mmc_bus_suspend))(arg1, arg2);
     391           1 : }
     392             : 
     393             : 
     394             : /* AUX_FUNC  ERR_PTR */
     395             : static inline void *ERR_PTR (long int error)
     396             : {
     397           8 : 
     398          24 :  return ldv_err_ptr(error);
     399             : }
     400             : 
     401             : /* AUX_FUNC  PTR_ERR */
     402             : static inline long int PTR_ERR (void const *ptr)
     403             : {
     404             : 
     405             :  return ldv_ptr_err(ptr);
     406             : }
     407             : 
     408             : /* AUX_FUNC  IS_ERR */
     409             : static inline long int IS_ERR (void const *ptr)
     410             : {
     411             : 
     412             :  return ldv_is_err(ptr);
     413             : }
     414             : 
     415             : /* AUX_FUNC  IS_ERR_OR_NULL */
     416             : static inline long int IS_ERR_OR_NULL (void const *ptr)
     417             : {
     418             : 
     419             :  return ldv_is_err_or_null(ptr);
     420             : }
     421             : 
     422             : /* AUX_FUNC  kzalloc */
     423             : static inline void *kzalloc (size_t size, gfp_t flags)
     424             : {
     425           8 : 
     426          24 :  return ldv_kzalloc(size, flags);
     427             : }

Generated by: LCOV version 1.10