ALPHA_BUS_GET_WINDOW_COUNT
if (sysarch(ALPHA_BUS_GET_WINDOW_COUNT, &count_args) != 0)
case ALPHA_BUS_GET_WINDOW_COUNT: