#ifndef ASMARMARCH_VGA_H
#define ASMARMARCH_VGA_H

#if 0

/* sorry, but we put our vga registers at a non-standard address:
 * vga_base + 0x00800000
 */

volatile unsigned char* vga_regs;
unsigned long _vga_vram_base;

#undef outw
#undef outb_p
#undef inb_p
#define outw(d,p)   *(volatile unsigned short*)(vga_regs+p)=d
#define outb_p(d,p) *(volatile unsigned char*) (vga_regs+p)=d
#define inb_p(p)    *(volatile unsigned char*) (vga_regs+p)


/* a complex ?: expression which gets called
 several times from drivers/video/vgacon.c
 The setup_igs() returns the vga base address. */
extern char *setup_igs (void);
#define VGA_MAP_MEM(x)         \
    ((x) == vga_vram_end) ?    \
    setup_igs() + 64*1024 :    \
    setup_igs()

/* these three are used in drivers/video/vgacon.c */
#define GRF6_BANK_SIZE 2
#define colourmap vga_vram_base
#define blackwmap vga_vram_base

#endif

#endif
