/* * Called with interrupts enabled. */