1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef ASMARM_VGA_H 3#define ASMARM_VGA_H 4 5#include <linux/io.h> 6 7extern 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 15