127 static __always_inline void __read_once_size(const volatile void *p, void *res, int size)  in __read_once_size()  argument
130 	case 1: *(__u8_alias_t  *) res = *(volatile __u8_alias_t  *) p; break;  in __read_once_size()
131 	case 2: *(__u16_alias_t *) res = *(volatile __u16_alias_t *) p; break;  in __read_once_size()
132 	case 4: *(__u32_alias_t *) res = *(volatile __u32_alias_t *) p; break;  in __read_once_size()
133 	case 8: *(__u64_alias_t *) res = *(volatile __u64_alias_t *) p; break;  in __read_once_size()
136 		__builtin_memcpy((void *)res, (const void *)p, size);  in __read_once_size()
141 static __always_inline void __write_once_size(volatile void *p, void *res, int size)  in __write_once_size()  argument
144 	case 1: *(volatile  __u8_alias_t *) p = *(__u8_alias_t  *) res; break;  in __write_once_size()
145 	case 2: *(volatile __u16_alias_t *) p = *(__u16_alias_t *) res; break;  in __write_once_size()
146 	case 4: *(volatile __u32_alias_t *) p = *(__u32_alias_t *) res; break;  in __write_once_size()
147 	case 8: *(volatile __u64_alias_t *) p = *(__u64_alias_t *) res; break;  in __write_once_size()
150 		__builtin_memcpy((void *)p, (const void *)res, size);  in __write_once_size()