Vhex-kernel/include/user/util.h

#ifndef __USER_UTIL_H__
# define __USER_UTIL_H__

#include <stddef.h>
#include <stdint.h>

extern int check_builtin(char *cmd);

#endif /*__USER_UTIL_H__*/