Clear shadow on kmalloc/kfree && ignore events from scheduler && check mutex is locked and unlocked in the same thread