setcr
{ "cr", crhelp, 0, 0, 0, setcr },
void setcr (int, char **);
.setcr = test_setcr,
void (*setcr)(void *arg, int, uint64_t);
CALLBACK(setcr, 4, CR4_PAE | CR4_VMXE);
CALLBACK(setcr, 3, 0x2000);
CALLBACK(setcr, 0, CR0_PG | CR0_PE | CR0_NE);
int ra, rb, rc, rt, type, mask, fsr, cx, bf, setcr;
setcr = 0;
setcr = 1;
setcr = 1;
if (setcr) {
.setcr = cb_setcr,