static inline void mips_vpe_wake(MIPSCPU *c)
{
- /* Dont set ->halted = 0 directly, let it be done via cpu_has_work
+ /* Don't set ->halted = 0 directly, let it be done via cpu_has_work
because there might be other conditions that state that c should
be sleeping. */
cpu_interrupt(CPU(c), CPU_INTERRUPT_WAKE);