void* thr1(void* arg){ while(1) switch(__VERIFIER_nondet_int()){ case 0: sysmon_power_daemon_task(); break; case 1: sysmonopen_power(); break; case 2: sysmonclose_power(); break; case 3: sysmonread_power(); break; case 4: sysmonpoll_power(); break; case 5: filt_sysmon_power_rdetach(); break; case 6: filt_sysmon_power_read(); break; case 7: sysmonkqfilter_power(); break; case 8: sysmonioctl_power(); break; }}
/* * sysmonread: * * Perform a read request. */ int sysmonread(dev_t dev, struct uio *uio, int flags) { int error; switch (minor(dev)) { #if NSYSMON_POWER > 0 case SYSMON_MINOR_POWER: error = sysmonread_power(dev, uio, flags); break; #endif default: error = ENODEV; } return (error); }