_kern_remove_index
_kern_remove_index(dev_t device, const char* name)
void _kern_remove_index() {}
_kern_remove_index(fssh_dev_t device, const char *name)