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);
}
