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; }}
/*
* sysmonpoll:
*
* Poll the system monitor device.
*/
int
sysmonpoll(dev_t dev, int events, struct lwp *l)
{
int rv;
switch (minor(dev)) {
#if NSYSMON_POWER > 0
case SYSMON_MINOR_POWER:
rv = sysmonpoll_power(dev, events, l);
break;
#endif
default:
rv = events;
}
return (rv);
}
