Symbol: _ITLB_ENTRIES