p1275_cell2ptr
return (p1275_cell2ptr(ci[4])); /* Res1: Old handler */
return ((caddr_t)p1275_cell2ptr(ci[6])); /* Res1: base */
return (p1275_cell2ptr(ci[8])); /* Res2: SR1: base */
return (p1275_cell2ptr(ci[9])); /* Res2: base */
return (p1275_cell2ptr(ci[4]));
symname = p1275_cell2ptr(cif[3]); /* argument 0 */
name = p1275_cell2ptr(*argument_array);
rtba = va_to_pa(p1275_cell2ptr(ci[3]));
tba = p1275_cell2ptr(ci[3]);
mmfsa_ra = (uint64_t)p1275_cell2ptr(ci[4]);
pc = p1275_cell2ptr(ci[4]);
opname = p1275_cell2ptr(ci[0]);
buf = p1275_cell2ptr(ci[4]);
buf = p1275_cell2ptr(ci[4]);
buf = p1275_cell2ptr(ci[4]);
path = p1275_cell2ptr(ci[3]);
node = finddevice(p1275_cell2ptr(ci[3]));
name = p1275_cell2ptr(ci[4]);
value = p1275_cell2ptr(ci[5]);
name = p1275_cell2ptr(ci[4]);
value = p1275_cell2ptr(ci[5]);
name = p1275_cell2ptr(ci[4]);
prev = p1275_cell2ptr(ci[4]);
next = p1275_cell2ptr(ci[5]);
opname = p1275_cell2ptr(ci[3]);