%% Miscellaneous Parameters
% PRFMAX
Maximum number of kernel symbols for which the kernel profiler
has space allocated.
