spec_lockcsp
#define LOCK_CSP(csp) (void) spec_lockcsp(csp, 0, 1, 0)
#define LOCKHOLD_CSP_SIG(csp) spec_lockcsp(csp, 1, 1, 1)
#define SYNCHOLD_CSP_SIG(csp, intr) spec_lockcsp(csp, intr, 0, 1)