intel_fbc_flush
void intel_fbc_flush(struct intel_display *display,
intel_fbc_flush(display, frontbuffer_bits, origin);