setcr
.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);
{ "cr", crhelp, 0, 0, 0, setcr },
extern void setcr(int argc, char *argv[]);