get_pcb_user_save_pcb
get_pcb_user_save_pcb(pcb), ("mangled pcb_save"));
if (pcb->pcb_save == get_pcb_user_save_pcb(pcb)) {
KASSERT(curpcb->pcb_save == get_pcb_user_save_pcb(curpcb),
bcopy(fpu_initialstate, get_pcb_user_save_pcb(pcb),
get_pcb_user_save_pcb(pcb)->sv_env.en_cw =
fpusave(get_pcb_user_save_pcb(pcb));
sa = (char *)get_pcb_user_save_pcb(pcb);
pcb2->pcb_save = get_pcb_user_save_pcb(pcb2);
bcopy(get_pcb_user_save_td(td1), get_pcb_user_save_pcb(pcb2),
pcb->pcb_save = get_pcb_user_save_pcb(pcb);
struct savefpu *get_pcb_user_save_pcb(struct pcb *pcb);
sa = (char *)get_pcb_user_save_pcb(pcb);
get_pcb_user_save_pcb(pcb), ("mangled pcb_save"));
if (pcb->pcb_save == get_pcb_user_save_pcb(pcb)) {
KASSERT(curpcb->pcb_save == get_pcb_user_save_pcb(curpcb),
bcopy(npx_initialstate, get_pcb_user_save_pcb(pcb),
SET_FPU_CW(get_pcb_user_save_pcb(pcb), pcb->pcb_initial_npxcw);
fpusave(get_pcb_user_save_pcb(pcb));
pcb2->pcb_save = get_pcb_user_save_pcb(pcb2);
bcopy(get_pcb_user_save_td(td1), get_pcb_user_save_pcb(pcb2),
pcb->pcb_save = get_pcb_user_save_pcb(pcb);
union savefpu *get_pcb_user_save_pcb(struct pcb *pcb);