49 static __always_inline void __read_once_size(void *dst, const volatile void *src, int size)  in __read_once_size()  argument
54         *(__u8_alias_t *)dst = *(volatile __u8_alias_t *)src;  in __read_once_size()
57         *(__u16_alias_t *)dst = *(volatile __u16_alias_t *)src;  in __read_once_size()
60         *(__u32_alias_t *)dst = *(volatile __u32_alias_t *)src;  in __read_once_size()
63         *(__u64_alias_t *)dst = *(volatile __u64_alias_t *)src;  in __read_once_size()
67         __builtin_memcpy((void *)dst, (const void *)src, size);  in __read_once_size()
80 static __always_inline void __write_once_size(volatile void *dst, void *src, int size)  in __write_once_size()  argument
85         *(volatile __u8_alias_t *)dst = *(__u8_alias_t *)src;  in __write_once_size()
88         *(volatile __u16_alias_t *)dst = *(__u16_alias_t *)src;  in __write_once_size()
91         *(volatile __u32_alias_t *)dst = *(__u32_alias_t *)src;  in __write_once_size()
94         *(volatile __u64_alias_t *)dst = *(__u64_alias_t *)src;  in __write_once_size()
98         __builtin_memcpy((void *)dst, (const void *)src, size);  in __write_once_size()