public link bit OS_EventFlag = driver.OS_EventFlag;
public link bit OS_time = driver.OS_time;
public link bit TimeReady = driver.time_ready;
public link void OS_init(){} = driver.OS_init;
public link void SetTime(bit n1){} = driver.set_time;
public link void set_mstime(bit n1){} = driver.set_mstime;
public link void OS_run(){} = driver.OS_run;
