sparc64_ipi_drop_fpstate
void sparc64_ipi_drop_fpstate (void *, void *);
sparc64_ipi_drop_fpstate, (uintptr_t)l, 0);