Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
[akaros.git] / kern / arch / x86 / uaccess.h
2015-10-30 Davide LibenziAdded safe user memory access APIs