int svga_sync(uint64_t source, struct vfs_obj *file) { if (!buffer) { return -1; } mutex_spin(&file->mutex); svga_flip(buffer); mutex_free(&file->mutex); return 0; }
char *svga_rcall_sync(struct robject *self, rp_t source, int argc, char **argv) { svga_flip(buffer); return strdup("T"); }