1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef ASMARM_VGA_H 3 #define ASMARM_VGA_H 4 5 #include <linux/io.h> 6 7 extern unsigned long vga_base; 8 9 #define VGA_MAP_MEM(x,s) (vga_base + (x)) 10 11 #define vga_readb(x) (*((volatile unsigned char *)x)) 12 #define vga_writeb(x,y) (*((volatile unsigned char *)y) = (x)) 13 14 #endif