_kern_create_index
_kern_create_index(dev_t device, const char* name, uint32 type, uint32 flags)
void _kern_create_index() {}
void _kern_create_index() {}
_kern_create_index(fssh_dev_t device, const char *name, uint32_t type, uint32_t flags)