Symbol: ptl1_gregs_t