Age | Commit message (Collapse) | Author |
|
Previously, file ids could only be positive integers, so their range
was 31 bits - not enough to represent the entire memory. Now, pointers
can be safely used as file ids.
|
|
this is big in terms of speed, it avoids a lot of unnecessary context
switches
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i don't think uint8_t can alias. char can
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This isn't really all that useful, it doesn't enable anything that
wasn't possible before. With it removed I'll be able to implement
process_exit() in a much simpler way.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i think that making the call a bit more "transparent" makes the code
nicer
|
|
|
|
|
|
|
|
|
|
|
|
awaited_req is a garbage name but i couldn't come up with a better one.
i also have no idea how to handle all the failure states
|
|
|
|
|
|
this will be needed for storing vfs_op's properly
|
|
|
|
|