Revert the formatting changes on MikroC ports. (#882)

Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
This commit is contained in:
Soren Ptak 2023-11-23 02:20:15 -08:00 committed by GitHub
parent a8a17dc4b5
commit 2dfc5142f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 97 additions and 101 deletions

View file

@ -193,12 +193,8 @@ static inline uint32_t ulPortRaiseBASEPRI( void )
ulOriginalBASEPRI = CPU_REG_GET( CPU_BASEPRI );
CPU_REG_SET( CPU_BASEPRI, configMAX_SYSCALL_INTERRUPT_PRIORITY );
__asm {
dsb
};
__asm {
isb
};
__asm{ dsb };
__asm{ isb };
return ulOriginalBASEPRI;
}
/*-----------------------------------------------------------*/