#ifndef LIBKERNEL_H
#define LIBKERNEL_H

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

#endif // LIBKERNEL_H