¿Vzeroall cero registra ymm16 a ymm31?

La documentación para vzeroallparece inconsistente. La prosa dice: La instrucción pone a cero el contenido de todos los registros XMM o YMM. El pseudocódigo debajo de eso, sin embargo, indica que en el modo de 64 bits sólo registra ymm0a través ymm15afectados: IF (64-bit mode) limit...