path: root/libkernel.h

#ifndef LIBKERNEL_H
#define LIBKERNEL_H

void call_unprivileged(void (*address) (void));

#endif // LIBKERNEL_H