Searched refs:write_le32 (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/tools/
H A Darm_kernel_boothdr.awk67 function write_le32(num) { function
102 write_le32(hexstr_to_num("ea000000") + (gStartOff / 4) - 2)
112 write_le32(hexstr_to_num("14000000") + (gStartOff / 4))
134 write_le32(0) # code1
141 write_le32(hexstr_to_num("644d5241")) # magic (LE "ARMd" (d is 0x64))
142 write_le32(0) # res2

Completed in 101 milliseconds