static void vga_draw_line32_be ( VGACommonState * vga , uint8_t * d , uint32_t addr , int width ) {
 int w ;
 uint32_t r , g , b ;
 w = width ;
 do {
 r = vga_read_byte ( vga , addr + 1 ) ;
 g = vga_read_byte ( vga , addr + 2 ) ;
 b = vga_read_byte ( vga , addr + 3 ) ;
 ( ( uint32_t * ) d ) [ 0 ] = rgb_to_pixel32 ( r , g , b ) ;
 addr += 4 ;
 d += 4 ;
 }
 while ( -- w != 0 ) ;
 }
static void vga_draw_line32_be ( VGACommonState * vga , uint8_t * d , uint32_t addr , int width ) {
 int w ;
 uint32_t r , g , b ;
 w = width ;
 do {
 r = vga_read_byte ( vga , addr + 1 ) ;
 g = vga_read_byte ( vga , addr + 2 ) ;
 b = vga_read_byte ( vga , addr + 3 ) ;
 ( ( uint32_t * ) d ) [ 0 ] = rgb_to_pixel32 ( r , g , b ) ;
 addr += 4 ;
 d += 4 ;
 }
 while ( -- w != 0 ) ;
 }