Searched refs:saved_window (Results 1 – 1 of 1) sorted by relevance
1054 int saved_window; in el3_ioctl() local1058 saved_window = inw(ioaddr + EL3_CMD) >> 13; in el3_ioctl()1062 EL3WINDOW(saved_window); in el3_ioctl()1068 int saved_window; in el3_ioctl() local1072 saved_window = inw(ioaddr + EL3_CMD) >> 13; in el3_ioctl()1076 EL3WINDOW(saved_window); in el3_ioctl()