vkernel64: Do some more replacing amd64 -> x86_64.
authorSascha Wildner <saw@online.de>
Sun, 16 May 2010 18:41:39 +0000 (20:41 +0200)
committerSascha Wildner <saw@online.de>
Sun, 16 May 2010 18:41:39 +0000 (20:41 +0200)
commita76ca9b9f353b36a06ca3c62102d8a413e786635
tree1106996fc2dace9beff589830705302f467f4fb9
parent0da449fca60403a82b62c6a4bbc0298f4f78b86f
vkernel64: Do some more replacing amd64 -> x86_64.

This reduces differences with the non-vkernel 64 bit code.
sys/platform/vkernel64/include/pcb.h
sys/platform/vkernel64/include/pcb_ext.h
sys/platform/vkernel64/platform/pmap.c
sys/platform/vkernel64/x86_64/cpu_regs.c
sys/platform/vkernel64/x86_64/db_trace.c
sys/platform/vkernel64/x86_64/fork_tramp.s
sys/platform/vkernel64/x86_64/swtch.s
sys/platform/vkernel64/x86_64/tls.c
sys/platform/vkernel64/x86_64/trap.c