What is the return type for the callback function for lv_display_set_flush_wait_cb()?

I’m using -
lvgl 9.3.0
Arduino IDE
ESP32-S3

I’m trying to use the lv_display_set_flush_wait_cb() callback function, but can’t get the callback’s return type right.

According to the docs it should be -
lv_display_flush_wait_cb_t wait_cb()

but the only example I can find anywhere is -

bool wait_cb(void* user_ctx) {
  lv_disp_t* disp_driver = (lv_disp_t*)user_ctx;
  lv_disp_flush_ready(disp_driver);
  return false;
}

Hello,
I think the callback needs to be formatted like so:

void wait_cb(lv_display_t *disp)

Kind regards

Tinus, thanks!
I must have misread lv_display.h

This is what I’m using now -

void ARDUINO_ISR_ATTR wait_cb(lv_disp_t* disp) {
  lv_disp_flush_ready(disp);
}