dtb_ld32
asm_emit_cell(e, dtb_ld32(d.val + off));
add_phandle_marker(dti, p, dtb_ld32(offsets + i));
fprintf(f, "0x%02"PRIx32, dtb_ld32(p));
phandle = dtb_ld32(prop->val.val + offset);
sprintf(buf, "0x%"PRIx32, dtb_ld32(data + off));