| 74 | } |
| 75 | |
| 76 | static __inline void |
| 77 | bzero(void *addr, size_t count) |
| 78 | { |
| 79 | char *tmp = (char *)addr; |
| 80 | |
| 81 | while (count > 0) { |
| 82 | if (count >= 4 && !((vm_offset_t)tmp & 3)) { |
| 83 | *(uint32_t *)tmp = 0; |
| 84 | tmp += 4; |
| 85 | count -= 4; |
| 86 | } else { |
| 87 | *tmp = 0; |
| 88 | tmp++; |
| 89 | count--; |
| 90 | } |
| 91 | } |
| 92 | } |
| 93 | |
| 94 | /* |
| 95 | * Convert number to pointer, truncate on 64->32 case, sign extend |
no outgoing calls