#define __ver_fbcon_hga	smp_e20f5274
#define fbcon_hga	_set_ver(fbcon_hga)
#define __ver_fbcon_hga_setup	smp_6d5f11bf
#define fbcon_hga_setup	_set_ver(fbcon_hga_setup)
#define __ver_fbcon_hga_bmove	smp_31d76a6d
#define fbcon_hga_bmove	_set_ver(fbcon_hga_bmove)
#define __ver_fbcon_hga_clear	smp_683911ca
#define fbcon_hga_clear	_set_ver(fbcon_hga_clear)
#define __ver_fbcon_hga_putc	smp_b8509839
#define fbcon_hga_putc	_set_ver(fbcon_hga_putc)
#define __ver_fbcon_hga_putcs	smp_5defdc3c
#define fbcon_hga_putcs	_set_ver(fbcon_hga_putcs)
#define __ver_fbcon_hga_revc	smp_7d3aefff
#define fbcon_hga_revc	_set_ver(fbcon_hga_revc)
#define __ver_fbcon_hga_clear_margins	smp_2ef0fff9
#define fbcon_hga_clear_margins	_set_ver(fbcon_hga_clear_margins)