printk.h

一个微型操作系统源码

/*
 * OSV
 * Copyright (C) 2002 Ciprian DOSOFTEI <[e-mail]>
 * All rights reserved.
 * 
 * http://backster.free.fr/osv
 *
 * This file is part of the OSV project. OSV is free software, also known as
 * "open source"; you can redistribute it and/or modify it under the terms 
 * of the GNU General Public License (GPL), version 2, as published by the Free
 * Software Foundation (FSF). To explore alternate licensing terms, contact 
 * the author at [e-mail] or [phone].
 * 
 * OSV is distributed in the hope that it will be useful, but WITHOUT ANY
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE.  See the GPL for more details.  You should have
 * received a copy of the GPL along with OSV; see the file COPYING.  If
 * not, write to the FSF, 59 Temple Place #330, Boston, MA 02111-1307, USA.
 */

#define PRINTK_VIDEO 		0x000B8000
#define PRINTK_WIDTH 		80
#define PRINTK_HEIGHT 		25
#define PRINTK_CRT_INDEX_REG 	0x03D4
#define PRINTK_CRT_DATA_REG  	0x03D5
#define PRINTK_SPACE 		0x20
#define PRINTK_BUFFERSIZE 	1024
#define PRINTK_TAB_SIZE		8

#define PRINTK_va_rounded_size(type) \
(((sizeof (type) + sizeof (int) - 1) / sizeof (int)) * sizeof (int))

#define PRINTK_va_start(ap, v) \
((void) (ap = (PRINTK_va_list) &v + PRINTK_va_rounded_size (v)))

#define PRINTK_va_arg(ap, type) \
(ap += PRINTK_va_rounded_size (type), *((type *)(ap - PRINTK_va_rounded_size (type)))) 

#define PRINTK_va_end(ap) ((void) (ap = 0))

typedef char* PRINTK_va_list;

int printk(const char *cntrl_string, ...);