Code for GCC

void unlock (void)
{

__asm__ __volatile__(cli);
}
void lock (void)
{
short mask;

__asm__ __volatile__(tpa\n\tsei:=d(mask));
}