150 void __read_once_size(const volatile void *p, void *res, int size)  in __read_once_size()  argument
153         case 1: *(unsigned char *)res = *(volatile unsigned char *)p; break;              \  in __read_once_size()
154         case 2: *(unsigned short *)res = *(volatile unsigned short *)p; break;            \  in __read_once_size()
155         case 4: *(unsigned int *)res = *(volatile unsigned int *)p; break;            \  in __read_once_size()
156         case 8: *(unsigned long long *)res = *(volatile unsigned long long *)p; break;            \  in __read_once_size()
159                 __builtin_memcpy((void *)res, (const void *)p, size);   \  in __read_once_size()
164 static __always_inline void __write_once_size(volatile void *p, void *res, int size)  in __write_once_size()  argument
167 	case 1: *(volatile unsigned char *)p = *(unsigned char *)res; break;  in __write_once_size()
168 	case 2: *(volatile unsigned short *)p = *(unsigned short *)res; break;  in __write_once_size()
169 	case 4: *(volatile unsigned int *)p = *(unsigned int *)res; break;  in __write_once_size()
170 	case 8: *(volatile unsigned long long *)p = *(unsigned long long *)res; break;  in __write_once_size()
173 		__builtin_memcpy((void *)p, (const void *)res, size);  in __write_once_size()