Changeset 3063d56 in mainline for kernel/arch/arm32/src/arm32.c

Timestamp:

2009-12-07T22:39:58Z (15 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

63c4e28

Parents:

216cb85

Message:

Do not flush TLB every time a thread is scheduled. Flush TLB only when a new
address space is installed.

File:

• kernel/arch/arm32/src/arm32.c (modified) (1 diff)

kernel/arch/arm32/src/arm32.c

@@ -140 +140 @@
         uint8_t *stck;
         
-        tlb_invalidate_all();
         stck = &THREAD->kstack[THREAD_STACK_SIZE - SP_DELTA];
         supervisor_sp = (uintptr_t) stck;