@@ -148,7 +148,9 @@ In either case, the following conditions must be met:
- CPU register settings
r0 = 0,
- r1 = machine type number discovered in (3) above.
+ r1 = machine type number discovered in (3) above, or if booting with
+ a dtb then this may be set to ~0 if a valid MACH_TYPE_xxx value
+ does not exist for the machine.
r2 = physical address of tagged list in system RAM, or
physical address of device tree block (dtb) in system RAM
@@ -176,7 +176,8 @@ it with special cases.
r1 : Valid machine type number. When using a device tree,
a single machine type number will often be assigned to
- represent a class or family of SoCs.
+ represent a class or family of SoCs. If a valid machine
+ type number is not assigned, then use ~0.
r2 : physical pointer to the device-tree block
(defined in chapter II) in RAM. Device tree can be located