155 void __read_once_size(const volatile void *p, void *res, int size)  in __read_once_size()  argument
158 	case 1: *(unsigned char *)res = *(volatile unsigned char *)p; break;  in __read_once_size()
159 	case 2: *(unsigned short *)res = *(volatile unsigned short *)p; break;  in __read_once_size()
160 	case 4: *(unsigned int *)res = *(volatile unsigned int *)p; break;  in __read_once_size()
161 	case 8: *(unsigned long long *)res = *(volatile unsigned long long *)p; break;  in __read_once_size()
164 		__builtin_memcpy((void *)res, (const void *)p, size);  in __read_once_size()
169 static __always_inline void __write_once_size(volatile void *p, void *res, int size)  in __write_once_size()  argument
172 	case 1: *(volatile unsigned char *)p = *(unsigned char *)res; break;  in __write_once_size()
173 	case 2: *(volatile unsigned short *)p = *(unsigned short *)res; break;  in __write_once_size()
174 	case 4: *(volatile unsigned int *)p = *(unsigned int *)res; break;  in __write_once_size()
175 	case 8: *(volatile unsigned long long *)p = *(unsigned long long *)res; break;  in __write_once_size()
178 		__builtin_memcpy((void *)p, (const void *)res, size);  in __write_once_size()