/* Fill the shadow memory of the given address such that the memory at that address is marked as being initialized.  */
void kmemcheck_mark_initialized(void *address, unsigned int n)
/* Fill the shadow memory of the given address such that the memory at that address is marked as being initialized.  */
void kmemcheck_mark_initialized(void *address, unsigned int n)
{
	mark_shadow(address, n, KMEMCHECK_SHADOW_INITIALIZED);
}