Clean up the PTE() macro (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 17 Dec 2015 19:31:19 +0000 (14:31 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 17 Dec 2015 19:31:19 +0000 (14:31 -0500)
commit98c2131dbc143cac3ff5d98e439053d08a999aa8
tree4a047286b4f1a85eb8331828a0686ba1d44a8c84
parente877d78dad52488caf8d43562c8532deaadc5ba7
Clean up the PTE() macro (XCC)

The PTE macro was a bit of a mess.  Every user of it had the PA handy.  But
they always converted to the PPN.  Plus, x86's kpte_write() wasn't even
using it.

It also didn't need to be in a kernel header, which was causing some
collisions for some applications.  The mmu header is so that userspace can
be aware of their address space and walk their own page tables.  PTE() was
something that could build a page table entry, which they don't need.

I didn't compile the RISC-V stuff.  It's slowly rotting.

Reinstall your kernel headers.

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