$profile-wordsize
$profile-wordsize — Profile tokens for “wordsize”
Parameter:
{}profile-wordsize
Defined in:
param.xsl
Used in:
param.xsl
Synopsis
|$profile-wordsize := ''
Description
The tokens (separated by $profile-separator)
specified for $profile-wordsize are matched against
the values in the wordsize attribute. See Section 2.9, “Effectivity attributes and profiling”.