nw_init();
/* Subscribe to driver events for network drivers. */
- r = ds_subscribe("drv\.net\..*", DSF_INITIAL | DSF_OVERWRITE);
+ r = ds_subscribe("drv\\.net\\..*", DSF_INITIAL | DSF_OVERWRITE);
if(r != OK) {
ip_panic(("inet: can't subscribe to driver events"));
}
system_hz = sys_hz();
/* Subscribe to driver events for VFS drivers. */
- s = ds_subscribe("drv\.vfs\..*", DSF_INITIAL | DSF_OVERWRITE);
+ s = ds_subscribe("drv\\.vfs\\..*", DSF_INITIAL | DSF_OVERWRITE);
if(s != OK) {
panic("vfs: can't subscribe to driver events");
}