#ifndef JOVE_LIB_JOVE_H
#define JOVE_LIB_JOVE_H 1

#define ALWAYS_INLINE inline __attribute__((always_inline))
#define PAGEALIGN __attribute__((aligned(0x1000)))

extern void *_kernel_start;
extern void *_kernel_end;

__attribute__((noreturn)) void _kpanic(const char *file, int line, const char *fmt, ...);
#define kpanic(...) _kpanic(__FILE__, __LINE__, __VA_ARGS__)

#endif