Lines Matching defs:frame_type
301 int frame_type;
319 frame_type = NORMAL;
325 frame_type = TRAP;
328 frame_type = INTERRUPT;
331 frame_type = SYSCALL;
333 frame_type = DOUBLE_FAULT;
336 frame_type = TRAP_TIMERINT;
340 frame_type = TRAP_INTERRUPT;
346 if (frame_type == NORMAL) {
359 if (frame_type == DOUBLE_FAULT) {
375 if (frame_type == INTERRUPT)
377 else if (frame_type == TRAP_INTERRUPT)
386 switch (frame_type) {