126a127,128
> Fault translateInt(RequestPtr req, ThreadContext *tc);
>