This change was made in !6403, but the appropriate documentation
changes were not applied to the ARM.
(cherry picked from commit 5d454a7158)
This change was made in !6403, but the appropriate documentation
changes were not applied to the ARM.
(cherry picked from commit 5d454a7158)