168     int fetched;  in fetch_decode_modrm()  local
172         fetched = (*sys_rdb) (((u32) M.x86.R_CS << 4) + (M.x86.R_IP++));  in fetch_decode_modrm()
174     *mod = (fetched >> 6) & 0x03;  in fetch_decode_modrm()
175     *regh = (fetched >> 3) & 0x07;  in fetch_decode_modrm()
176     *regl = (fetched >> 0) & 0x07;  in fetch_decode_modrm()
192     u8 fetched;  in fetch_byte_imm()  local
196         fetched = (*sys_rdb) (((u32) M.x86.R_CS << 4) + (M.x86.R_IP++));  in fetch_byte_imm()
198     return fetched;  in fetch_byte_imm()
214     u16 fetched;  in fetch_word_imm()  local
218         fetched = (*sys_rdw) (((u32) M.x86.R_CS << 4) + (M.x86.R_IP));  in fetch_word_imm()
221     return fetched;  in fetch_word_imm()
237     u32 fetched;  in fetch_long_imm()  local
241         fetched = (*sys_rdl) (((u32) M.x86.R_CS << 4) + (M.x86.R_IP));  in fetch_long_imm()
244     return fetched;  in fetch_long_imm()