vga_arbiter_notify_clients
vga_arbiter_notify_clients();
static void vga_arbiter_notify_clients(void);