44 #define	DO_GET_IO_PORTID(env, lo, hi, portid)	\  argument
51 mem_map_in(fcode_env_t *env, fstack_t hi, fstack_t lo, fstack_t len)  in mem_map_in()
90 mem_map_out(fcode_env_t *env, fstack_t mcookie, fstack_t len)  in mem_map_out()
125 do_map_in(fcode_env_t *env)  in do_map_in()
138 do_map_out(fcode_env_t *env)  in do_map_out()
149 do_get_io_portid(fcode_env_t *env)  in do_get_io_portid()
171 do_encode_unit(fcode_env_t *env)  in do_encode_unit()
200 do_decode_unit(fcode_env_t *env)  in do_decode_unit()
230 do_device_id(fcode_env_t *env)  in do_device_id()
308 do_get_hwd_va(fcode_env_t *env)  in do_get_hwd_va()
358 do_get_intrp_name(fcode_env_t *env)  in do_get_intrp_name()
371 do_master_interrupt(fcode_env_t *env)  in do_master_interrupt()
401 do_register_vector_entry(fcode_env_t *env)  in do_register_vector_entry()
417 do_get_interrupt_target(fcode_env_t *env)  in do_get_interrupt_target()
432 	fcode_env_t *env = initial_env;  in _init()  local