ia64/xen-unstable

annotate xen/include/xen/lib.h @ 2448:46859bdc5411

bitkeeper revision 1.1159.1.129 (413d868bPMWkW0lZg_MuAYIrmx7XDQ)

Make writable pagetables a domain creation option.
author cl349@freefall.cl.cam.ac.uk
date Tue Sep 07 09:59:39 2004 +0000 (2004-09-07)
parents b6006dac0b1a
children 0174982516f6
rev   line source
kaf24@1210 1 #ifndef __LIB_H__
kaf24@1210 2 #define __LIB_H__
kaf24@1210 3
kaf24@1210 4 #include <stdarg.h>
kaf24@1210 5 #include <xen/types.h>
kaf24@1486 6 #include <xen/string.h>
kaf24@1210 7
kaf24@1210 8 #ifndef NDEBUG
kaf24@2095 9 #define ASSERT(_p) if ( !(_p) ) { printk("Assertion '%s' failed, line %d, file %s\n", #_p , __LINE__, __FILE__); *(int*)0=0; }
kaf24@1210 10 #else
kaf24@1210 11 #define ASSERT(_p) ((void)0)
kaf24@1210 12 #endif
kaf24@1210 13
kaf24@1210 14 #define reserve_bootmem(_p,_l) \
kaf24@1210 15 printk("Memory Reservation 0x%lx, %lu bytes\n", (_p), (_l))
kaf24@1210 16
cl349@2448 17 struct domain;
cl349@2448 18
kaf24@1210 19 /* kernel.c */
kaf24@1210 20 #define printk printf
kaf24@1486 21 void printf(const char *format, ...);
kaf24@1210 22 void panic(const char *format, ...);
cl349@2448 23 long vm_assist(struct domain *, unsigned int, unsigned int);
kaf24@1210 24
kaf24@1210 25 /* vsprintf.c */
kaf24@1210 26 extern int sprintf(char * buf, const char * fmt, ...)
kaf24@1210 27 __attribute__ ((format (printf, 2, 3)));
kaf24@1210 28 extern int vsprintf(char *buf, const char *, va_list);
kaf24@1210 29 extern int snprintf(char * buf, size_t size, const char * fmt, ...)
kaf24@1210 30 __attribute__ ((format (printf, 3, 4)));
kaf24@1210 31 extern int vsnprintf(char *buf, size_t size, const char *fmt, va_list args);
kaf24@1210 32
kaf24@1210 33 long simple_strtol(const char *cp,char **endp,unsigned int base);
kaf24@1210 34 unsigned long simple_strtoul(const char *cp,char **endp,unsigned int base);
kaf24@1210 35 long long simple_strtoll(const char *cp,char **endp,unsigned int base);
kaf24@1210 36
kaf24@1210 37 #endif /* __LIB_H__ */