91 	void *memory = allocateRaw(bytes, alignment);  in allocate()  local
93 	if(memory)  in allocate()
95 		memset(memory, 0, bytes);  in allocate()
98 	return memory;  in allocate()
101 void deallocate(void *memory)  in deallocate()  argument
103 	if(memory)  in deallocate()
105 		unsigned char *aligned = (unsigned char *)memory;  in deallocate()
112 void clear(uint16_t *memory, uint16_t element, size_t count)  in clear()  argument
115 	__stosw(memory, element, count);  in clear()
118 	                     : "+D"(memory), "+c"(count)  in clear()
124 		memory[i] = element;  in clear()
129 void clear(uint32_t *memory, uint32_t element, size_t count)  in clear()  argument
132 	__stosd((unsigned long *)memory, element, count);  in clear()
135 	                     : "+D"(memory), "+c"(count)  in clear()
141 		memory[i] = element;  in clear()