getpstate
static inline u_int64_t getpstate(void);
setpstate(getpstate()|PSTATE_IE);
opcb->pcb_pstate = getpstate();