GET_CURX
GET_CURX(r4, r5) /* r4 = curcpu, r5 = curlwp */ ;\
GET_CURX(r4, r5) /* r4 = curcpu, r5 = curlwp */