_kern_frame_buffer_update
extern status_t _kern_frame_buffer_update(addr_t baseAddress, int32 width,
_kern_frame_buffer_update((addr_t)fFrameBufferConfig.frame_buffer,