HomeSort by: relevance | last modified time | path
    Searched refs:savedInts (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/shark/shark/
profile.c 313 unsigned int savedInts;
370 savedInts = disable_interrupts(I32_bit | F32_bit);
377 restore_interrupts(savedInts);
383 unsigned int savedInts;
386 savedInts = disable_interrupts(I32_bit | F32_bit);
388 restore_interrupts(savedInts);
scr.c 1035 u_int savedInts; /* saved interrupts */
1056 savedInts = disable_interrupts(I32_bit | F32_bit);
1066 restore_interrupts(savedInts);
1125 savedInts = disable_interrupts(I32_bit | F32_bit);
1127 restore_interrupts(savedInts);
1139 savedInts = disable_interrupts(I32_bit | F32_bit);
1145 restore_interrupts(savedInts);
1151 savedInts = disable_interrupts(I32_bit | F32_bit);
1153 restore_interrupts(savedInts);
1267 savedInts = disable_interrupts(I32_bit | F32_bit)
    [all...]

Completed in 14 milliseconds