teardown_vaddr_for_ppcopy
teardown_vaddr_for_ppcopy(cp);
extern void teardown_vaddr_for_ppcopy(struct cpu *);