> -    uint32_t VF; /* V is the bit 31. All other bits are undefined */
> +    uint32_t VF; /* V is the bit 28. */

No. The original comment is correct.

Paul


Reply via email to