path: root/src/kernel/types.h

#pragma once
#include <stdint.h>

#define TYPES_INCLUDED
typedef uintptr_t user_ptr;