44    unsigned int *p;  in loadDouble()  local
45    p = (unsigned int*)&fpa11->fpreg[Fn].fDouble;  in loadDouble()
49    get_user_u32(p[0], addr); /* sign & exponent */  in loadDouble()
50    get_user_u32(p[1], addr + 4);  in loadDouble()
53    get_user_u32(p[0], addr + 4);  in loadDouble()
54    get_user_u32(p[1], addr); /* sign & exponent */  in loadDouble()
62    unsigned int *p;  in loadExtended()  local
63    p = (unsigned int*)&fpa11->fpreg[Fn].fExtended;  in loadExtended()
66    get_user_u32(p[0], addr);  /* sign & exponent */  in loadExtended()
67    get_user_u32(p[1], addr + 8);  /* ls bits */  in loadExtended()
68    get_user_u32(p[2], addr + 4);  /* ms bits */  in loadExtended()
75    register unsigned int *p;  in loadMultiple()  local
78    p = (unsigned int*)&(fpa11->fpreg[Fn]);  in loadMultiple()
89          get_user_u32(p[0], addr + 8);  /* Single */  in loadMultiple()
90          get_user_u32(p[1], addr + 4);  /* double msw */  in loadMultiple()
91          p[2] = 0;        /* empty */  in loadMultiple()
98          get_user_u32(p[1], addr + 8);  in loadMultiple()
99          get_user_u32(p[2], addr + 4);  /* msw */  in loadMultiple()
100          p[0] = (x & 0x80003fff);  in loadMultiple()
111    register unsigned int *p = (unsigned int*)&val;  in storeSingle()  local
127    put_user_u32(p[0], addr);  in storeSingle()
135    register unsigned int *p = (unsigned int*)&val;  in storeDouble()  local
151    put_user_u32(p[0], addr);	/* msw */  in storeDouble()
152    put_user_u32(p[1], addr + 4);	/* lsw */  in storeDouble()
154    put_user_u32(p[1], addr);	/* msw */  in storeDouble()
155    put_user_u32(p[0], addr + 4);	/* lsw */  in storeDouble()
164    register unsigned int *p = (unsigned int*)&val;  in storeExtended()  local
180    put_user_u32(p[0], addr); /* sign & exp */  in storeExtended()
181    put_user_u32(p[1], addr + 8);  in storeExtended()
182    put_user_u32(p[2], addr + 4); /* msw */  in storeExtended()
189    register unsigned int nType, *p;  in storeMultiple()  local
191    p = (unsigned int*)&(fpa11->fpreg[Fn]);  in storeMultiple()
199          put_user_u32(p[0], addr + 8); /* single */  in storeMultiple()
200 	 put_user_u32(p[1], addr + 4); /* double msw */  in storeMultiple()
207          put_user_u32(p[2], addr + 4); /* msw */  in storeMultiple()
208 	 put_user_u32(p[1], addr + 8);  in storeMultiple()
209 	 put_user_u32((p[0] & 0x80003fff) | (nType << 14), addr);  in storeMultiple()