static ARMword s3c2410x_io_read_halfword (void* arch_instance, ARMword addr) { s3c2410x_io_read_word (arch_instance, addr); }
static ARMword s3c2410x_io_read_halfword (ARMul_State * state, ARMword addr) { s3c2410x_io_read_word (state, addr); }