141 static inline void fdt32_st(void *property, uint32_t value)  in fdt32_st()  argument
145 	bp[0] = value >> 24;  in fdt32_st()
146 	bp[1] = (value >> 16) & 0xff;  in fdt32_st()
147 	bp[2] = (value >> 8) & 0xff;  in fdt32_st()
148 	bp[3] = value & 0xff;  in fdt32_st()
165 static inline void fdt64_st(void *property, uint64_t value)  in fdt64_st()  argument
169 	bp[0] = value >> 56;  in fdt64_st()
170 	bp[1] = (value >> 48) & 0xff;  in fdt64_st()
171 	bp[2] = (value >> 40) & 0xff;  in fdt64_st()
172 	bp[3] = (value >> 32) & 0xff;  in fdt64_st()
173 	bp[4] = (value >> 24) & 0xff;  in fdt64_st()
174 	bp[5] = (value >> 16) & 0xff;  in fdt64_st()
175 	bp[6] = (value >> 8) & 0xff;  in fdt64_st()
176 	bp[7] = value & 0xff;  in fdt64_st()