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);
}