$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”.