FDT_PROPERTY
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
*ptr++ = htobe32(FDT_PROPERTY);
if (betoh32(*ptr) != FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
*ptr++ = htobe32(FDT_PROPERTY);
if (betoh32(*ptr) != FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
*ptr++ = htobe32(FDT_PROPERTY);
if (betoh32(*ptr) != FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
while (betoh32(*ptr) == FDT_PROPERTY) {
*ptr++ = htobe32(FDT_PROPERTY);
while (betoh32(*ptr) == FDT_PROPERTY) {
if (betoh32(*ptr) != FDT_PROPERTY)
if (betoh32(*ptr) != FDT_PROPERTY)
while (betoh32(*ptr) == FDT_PROPERTY)