/* Go and read the HTE register in order to find any error */
static u32 hte_check_errors(void)
/* Go and read the HTE register in order to find any error */
static u32 hte_check_errors(void)
{
	return msg_port_read(HTE, 0x000200a7);
}