#ifndef _XEN_SYMBOLS_H
#define _XEN_SYMBOLS_H

#include <xen/types.h>

#define KSYM_NAME_LEN 127

/* Lookup an address. */
const char *symbols_lookup(unsigned long addr,
                           unsigned long *symbolsize,
                           unsigned long *offset,
                           char *namebuf);

/* Replace "%s" in format with address, if found */
void __print_symbol(const char *fmt, unsigned long address);

/* This macro allows us to keep printk typechecking */
static void __check_printsym_format(const char *fmt, ...)
    __attribute__((format(printf,1,2)));
    static inline void __check_printsym_format(const char *fmt, ...)
{
}

#if 0
#define print_fn_descriptor_symbol(fmt, addr)	\
	print_symbol(fmt, *(unsigned long *)addr)
#else
#define print_fn_descriptor_symbol(fmt, addr) print_symbol(fmt, addr)
#endif

#define print_symbol(fmt, addr)			\
do {						\
	__check_printsym_format(fmt, "");	\
	__print_symbol(fmt, addr);		\
} while(0)

#endif /*_XEN_SYMBOLS_H*/