Searched refs:saved_window (Results 1 – 1 of 1) sorted by relevance
1051 int saved_window; in el3_ioctl() local1055 saved_window = inw(ioaddr + EL3_CMD) >> 13; in el3_ioctl()1059 EL3WINDOW(saved_window); in el3_ioctl()1065 int saved_window; in el3_ioctl() local1069 saved_window = inw(ioaddr + EL3_CMD) >> 13; in el3_ioctl()1073 EL3WINDOW(saved_window); in el3_ioctl()