#include #include #include #include #include "core.h" #include void myputchar(int c) { if (c == '\n') myputchar('\r'); writechr(c); } void myputs(const char *str) { while (*str) myputchar(*str++); } void hello(void) { static char hello_str[] = "Hello, World!"; printf("%s from (%s)\n", hello_str, __FILE__); /* testing */ } void hexdump(void *buf, int bytelen, const char *str) { unsigned int *p32, i; if (str) printf("Dump %s:\n", str); p32 = (unsigned int *)buf; for (i = 0; i < (bytelen / 4); i++){ printf(" 0x%08x ", p32[i]); } printf("\n\n"); } static inline void myprint(int num) { uint32_t i; for (i = 0; i < 5; i ++) printf("%d", num); printf("\n"); } void mp1(void) { myprint(1); } void mp2(void) { myprint(2); } void mp3(void) { myprint(3); } void mp4(void) { myprint(4); } void mp5(void) { myprint(5); }