remove obsolete iRCCE_*_push

This commit is contained in:
Stefan Lankes 2011-07-03 02:31:40 -07:00
parent e08f6a9d53
commit 351a0f6391

View file

@ -190,6 +190,7 @@ int icc_send_irq(int ue)
int icc_halt(void)
{
uint32_t flags;
#if 0
uint32_t do_send = 1;
do {
@ -206,7 +207,13 @@ int icc_halt(void)
NOP1;
} while(do_send);
#else
// iRCCE is not thread save => disable interrupts
flags = irq_nested_disable();
icc_mail_check();
irq_nested_enable(flags);
NOP1;
#endif
//HALT;
return 0;