74     enum AVPixelFormat format = pix_fmt[p->p.layout][p->seq_hdr->hbd];  in libdav1d_picture_allocator()
277     c->profile = p->seq_hdr->profile;  in libdav1d_receive_frame()
278     c->level = ((p->seq_hdr->operating_points[0].major_level - 2) << 2)  in libdav1d_receive_frame()
279                | p->seq_hdr->operating_points[0].minor_level;  in libdav1d_receive_frame()
295     switch (p->seq_hdr->chr) {  in libdav1d_receive_frame()
303     frame->colorspace = c->colorspace = (enum AVColorSpace) p->seq_hdr->mtrx;  in libdav1d_receive_frame()
304     frame->color_primaries = c->color_primaries = (enum AVColorPrimaries) p->seq_hdr->pri;  in libdav1d_receive_frame()
305     frame->color_trc = c->color_trc = (enum AVColorTransferCharacteristic) p->seq_hdr->trc;  in libdav1d_receive_frame()
306 …frame->color_range = c->color_range = p->seq_hdr->color_range ? AVCOL_RANGE_JPEG : AVCOL_RANGE_MPE…  in libdav1d_receive_frame()
309         p->seq_hdr->mtrx == DAV1D_MC_IDENTITY &&  in libdav1d_receive_frame()
310         p->seq_hdr->pri  == DAV1D_COLOR_PRI_BT709 &&  in libdav1d_receive_frame()
311         p->seq_hdr->trc  == DAV1D_TRC_SRGB)  in libdav1d_receive_frame()
312         frame->format = c->pix_fmt = pix_fmt_rgb[p->seq_hdr->hbd];  in libdav1d_receive_frame()
314         frame->format = c->pix_fmt = pix_fmt[p->p.layout][p->seq_hdr->hbd];  in libdav1d_receive_frame()
321     if (p->seq_hdr->num_units_in_tick && p->seq_hdr->time_scale) {  in libdav1d_receive_frame()
323                   p->seq_hdr->num_units_in_tick, p->seq_hdr->time_scale, INT_MAX);  in libdav1d_receive_frame()
324         if (p->seq_hdr->equal_picture_interval)  in libdav1d_receive_frame()
325             c->ticks_per_frame = p->seq_hdr->num_ticks_per_picture;  in libdav1d_receive_frame()