__marvel_is_port_kbd  813 arch/alpha/kernel/core_marvel.c 	if (__marvel_is_port_kbd(addr))
__marvel_is_port_kbd  831 arch/alpha/kernel/core_marvel.c 	if (__marvel_is_port_kbd(addr))