#ifndef _DRAW_H#define _DRAW_H#include<stdint.h>#include"fb.h"staticinlinevoiddraw_pixel(fb_fragment_t*f,intx,inty,uint32_tpixel){uint32_t*pixels=f->buf;/* FIXME this assumes stride is aligned to 4 */pixels[(y*(f->width+(f->stride>>2)))+x]=pixel;}#endif