| 53 | extern char kernel_end[]; |
| 54 | |
| 55 | static __inline void * |
| 56 | memcpy(void *dst, const void *src, size_t len) |
| 57 | { |
| 58 | const char *s = src; |
| 59 | char *d = dst; |
| 60 | |
| 61 | while (len) { |
| 62 | if (0 && len >= 4 && !((vm_offset_t)d & 3) && |
| 63 | !((vm_offset_t)s & 3)) { |
| 64 | *(uint32_t *)d = *(uint32_t *)s; |
| 65 | s += 4; |
| 66 | d += 4; |
| 67 | len -= 4; |
| 68 | } else { |
| 69 | *d++ = *s++; |
| 70 | len--; |
| 71 | } |
| 72 | } |
| 73 | return (dst); |
| 74 | } |
| 75 | |
| 76 | static __inline void |
| 77 | bzero(void *addr, size_t count) |
no outgoing calls
no test coverage detected