Symbol: ptl1_trapregs_t