fpurstor
fpurstor(get_pcb_user_save_td(td));
fpurstor(npx_initialstate);
static void fpurstor(union savefpu *);
fpurstor(pcb->pcb_save);
fpurstor(pcb->pcb_save);
fpurstor(addr);