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