kernel/eka/nkern/arm/ncsched.cia
branchGCC_SURGE
changeset 153 1f2940c968a9
parent 144 c5e01f2a4bfd
equal deleted inserted replaced
151:b5dd6d3f5c21 153:1f2940c968a9
  1758 #endif
  1758 #endif
  1759 #ifdef __CPU_SUPPORT_THUMB2EE
  1759 #ifdef __CPU_SUPPORT_THUMB2EE
  1760 	SET_THUMB2EE_HNDLR_BASE(,r1);			
  1760 	SET_THUMB2EE_HNDLR_BASE(,r1);			
  1761 #endif
  1761 #endif
  1762 #ifdef __CPU_HAS_CP15_THREAD_ID_REG
  1762 #ifdef __CPU_HAS_CP15_THREAD_ID_REG
  1763 	SET_RWRW_TID(,r3)						// restore Thread ID from r3
  1763 	SET_RWRW_TID(,r3);						// restore Thread ID from r3
  1764 #endif 
  1764 #endif 
  1765 	asm("mov r3, r2 ");						// r3=TheCurrentThread
  1765 	asm("mov r3, r2 ");						// r3=TheCurrentThread
  1766 #ifdef __CPU_HAS_COPROCESSOR_ACCESS_REG
  1766 #ifdef __CPU_HAS_COPROCESSOR_ACCESS_REG
  1767 	SET_CAR(,r10)
  1767 	SET_CAR(,r10);
  1768 #endif
  1768 #endif
  1769 #ifdef __CPU_ARM_USE_DOMAINS
  1769 #ifdef __CPU_ARM_USE_DOMAINS
  1770 	asm("mcr p15, 0, r11, c3, c0, 0 ");
  1770 	asm("mcr p15, 0, r11, c3, c0, 0 ");
  1771 #endif
  1771 #endif
  1772 #ifdef __CPU_HAS_VFP
  1772 #ifdef __CPU_HAS_VFP