137 static inline void fdt32_st(void *property, uint32_t value)  in fdt32_st()  argument
141 	bp[0] = value >> 24;  in fdt32_st()
142 	bp[1] = (value >> 16) & 0xff;  in fdt32_st()
143 	bp[2] = (value >> 8) & 0xff;  in fdt32_st()
144 	bp[3] = value & 0xff;  in fdt32_st()
161 static inline void fdt64_st(void *property, uint64_t value)  in fdt64_st()  argument
165 	bp[0] = value >> 56;  in fdt64_st()
166 	bp[1] = (value >> 48) & 0xff;  in fdt64_st()
167 	bp[2] = (value >> 40) & 0xff;  in fdt64_st()
168 	bp[3] = (value >> 32) & 0xff;  in fdt64_st()
169 	bp[4] = (value >> 24) & 0xff;  in fdt64_st()
170 	bp[5] = (value >> 16) & 0xff;  in fdt64_st()
171 	bp[6] = (value >> 8) & 0xff;  in fdt64_st()
172 	bp[7] = value & 0xff;  in fdt64_st()