<dec f='src/src/sys/arch/x86/include/pmap.h' l='168' type='kcpuset_t *'/>
<offset>3072</offset>
<doc f='src/src/sys/arch/x86/include/pmap.h' l='168'>/* mask of CPUs which have this pmap&apos;s
					 ptp mapped */</doc>
