#pragma once // TODO merge into driver/util.h #include struct pagedir; size_t ring_to_virt(ring_t *r, struct process *proc, void __user *ubuf, size_t max);