Changeset afd550c for src/libcfa/concurrency/kernel.c
- Timestamp:
- May 8, 2018, 5:22:38 PM (6 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc
- Children:
- b4a835d, de94a60
- Parents:
- 4990812
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/libcfa/concurrency/kernel.c
r4990812 rafd550c 422 422 } 423 423 424 verify( ! preemption_state.enabled );424 verify( ! kernelTLS.preemption_state.enabled ); 425 425 returnToKernel(); 426 verify( ! preemption_state.enabled );426 verify( ! kernelTLS.preemption_state.enabled ); 427 427 428 428 enable_interrupts( __cfaabi_dbg_ctx ); … … 578 578 verify( ! kernelTLS.preemption_state.enabled ); 579 579 enable_interrupts( __cfaabi_dbg_ctx ); 580 verify( TL_GET( preemption_state ).enabled);580 verify( TL_GET( preemption_state.enabled ) ); 581 581 } 582 582 … … 584 584 __cfaabi_dbg_print_safe("\n--------------------------------------------------\nKernel : Shutting down\n"); 585 585 586 verify( TL_GET( preemption_state ).enabled);586 verify( TL_GET( preemption_state.enabled ) ); 587 587 disable_interrupts(); 588 588 verify( ! kernelTLS.preemption_state.enabled ); … … 642 642 static bool kernel_abort_called = false; 643 643 644 void * kernel_abort 644 void * kernel_abort(void) __attribute__ ((__nothrow__)) { 645 645 // abort cannot be recursively entered by the same or different processors because all signal handlers return when 646 646 // the globalAbort flag is true.
Note: See TracChangeset
for help on using the changeset viewer.