#ifndef _FSSH_KERNEL_EXPORT_H
#define _FSSH_KERNEL_EXPORT_H


#include "fssh_defs.h"
#include "fssh_os.h"


#ifdef __cplusplus
extern "C" {
#endif 


/* kernel threads */

extern fssh_thread_id	fssh_spawn_kernel_thread(fssh_thread_func function,
								const char *threadName,  int32_t priority,
								void *arg);

/* misc */

extern fssh_status_t	fssh_user_memcpy(void *dest, const void *source,
								fssh_size_t length);

/* primitive kernel debugging facilities */

extern void			fssh_dprintf(const char *format, ...)	/* just like printf */
							__attribute__ ((format (__printf__, 1, 2)));
extern void			fssh_kprintf(const char *fmt, ...)			/* only for debugger cmds */
							__attribute__ ((format (__printf__, 1, 2)));

extern void 		fssh_dump_block(const char *buffer, int size,
							const char *prefix);

extern void			fssh_panic(const char *format, ...)
							__attribute__ ((format (__printf__, 1, 2)));

extern void			fssh_kernel_debugger(const char *message);	/* enter kernel debugger */
extern uint32_t		fssh_parse_expression(const char *string);	/* utility for debugger cmds */

typedef int (*fssh_debugger_command_hook)(int argc, char **argv);

extern int			fssh_add_debugger_command(const char *name,
							fssh_debugger_command_hook hook, const char *help);
extern int			fssh_remove_debugger_command(char *name,
							fssh_debugger_command_hook hook); 


#ifdef __cplusplus
}
#endif


#endif	// _FSSH_KERNEL_EXPORT_H