src/system/kernel/device_manager/devfs.cpp

1113

struct devfs_cookie* cookie;

src/system/kernel/device_manager/devfs.cpp

1119

cookie = (struct devfs_cookie*)malloc(sizeof(struct devfs_cookie));

src/system/kernel/device_manager/devfs.cpp

1157

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1174

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1219

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1252

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1449

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1596

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1613

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1635

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1674

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1733

struct devfs_cookie* cookie = (struct devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

1794

devfs_cookie* cookie = (devfs_cookie*)_cookie;

src/system/kernel/device_manager/devfs.cpp

882

struct devfs_cookie* cookie = (devfs_cookie*)(addr_t)address;