1 2 3 4 5 6 7 8 9
#ifndef KERNEL_STRING #define KERNEL_STRING #include <stddef.h> #include <stdint.h> size_t strlen(const char *str); #endif /* KERNEL_STRING */