Lines Matching defs:val
1155 Bit16u result, val;
1160 val = biosfn_read_video_state_size2(CX);
1162 printf("VGA state size=%x\n", val);
1165 val += vbe_biosfn_read_video_state_size();
1166 write_word(ss, BX, val);
1169 val = read_word(ss, BX);
1170 val = biosfn_save_video_state(CX, ES, val);
1172 printf("VGA save_state offset=%x\n", val);
1175 vbe_biosfn_save_video_state(ES, val);
1178 val = read_word(ss, BX);
1179 val = biosfn_restore_video_state(CX, ES, val);
1181 printf("VGA restore_state offset=%x\n", val);
1184 vbe_biosfn_restore_video_state(ES, val);
