Searched defs:FPU_store_int32 (Results 1 – 2 of 2) sorted by relevance
803 int FPU_store_int32(FPU_REG *st0_ptr, u_char st0_tag, long __user *d) in FPU_store_int32() function