Remove unused helpers from mmu.h (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 17 Dec 2015 19:14:50 +0000 (14:14 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 17 Dec 2015 19:14:50 +0000 (14:14 -0500)
commite877d78dad52488caf8d43562c8532deaadc5ba7
treee7dbec8d7c9e95f71d5b54821671dc038047650e
parent687a3b7382a9ce76d485a154029ac0dfb6353934
Remove unused helpers from mmu.h (XCC)

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/riscv/ros/mmu.h
kern/arch/x86/ros/mmu64.h