Symbol: CR3_PCID_MASK