Searched refs:int_getdev (Results 1 – 3 of 3) sorted by relevance
253 extern uint32 int_getdev (void);644 dev = int_getdev (); /* get int dev */ in sim_instr()1405 R[r1] = int_getdev (); /* get int dev */ in sim_instr()
436 uint32 int_getdev (void) in int_getdev() function
285 extern uint32 int_getdev (void);710 dev = int_getdev (); /* get int dev */ in sim_instr()