get_device_name
get_device_name(vnode, path, sizeof(path));
get_device_name(vnode, path + 5, sizeof(path) - 5);
static void get_device_name(struct devfs_vnode* vnode, char* buffer,
get_device_name(dir, path.LockBuffer(), path.BufferSize());