Changeset 64b7854 in mainline for kernel/generic/src/main/uinit.c

Timestamp:

2019-06-20T13:47:03Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

d7dfa05

Parents:

e39d7b8

Message:

Use uspace_addr_t instead of uspace_ptr(void)

(No files)