const SYSCALL_FRAMEBUFFER_FLUSH: usize = 2001;