Completed context modify, aside from BufferFields and nested Indexes
Completed context modify, aside from BufferFields and nested Indexes

redox-os/kernel,redox-os/kernel,redox-os/kernel,AleVul/kernel,AleVul/kernel