Searched refs:saved_window (Results 1 – 1 of 1) sorted by relevance
1052 int saved_window; in el3_ioctl() local1056 saved_window = inw(ioaddr + EL3_CMD) >> 13; in el3_ioctl()1060 EL3WINDOW(saved_window); in el3_ioctl()1066 int saved_window; in el3_ioctl() local1070 saved_window = inw(ioaddr + EL3_CMD) >> 13; in el3_ioctl()1074 EL3WINDOW(saved_window); in el3_ioctl()