FLAGS_REG_NAME
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_set_register(FLAGS_REG_NAME, fl);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_set_register(FLAGS_REG_NAME, fl);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
warn("failed to read " FLAGS_REG_NAME
warn("failed to update " FLAGS_REG_NAME
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &oldfl);
(void) kmdb_dpi_set_register(FLAGS_REG_NAME,
(void) kmdb_dpi_set_register(FLAGS_REG_NAME, newfl);
warn("failed to update pushed " FLAGS_REG_NAME
(void) kmdb_dpi_set_register(FLAGS_REG_NAME, oldfl);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_set_register(FLAGS_REG_NAME,