machine_is_personal_server   86 arch/arm/mach-footbridge/isa.c 	if (!machine_is_personal_server()) {
machine_is_personal_server   53 arch/arm/mach-footbridge/personal-pci.c 	if (machine_is_personal_server())
machine_is_personal_server  429 drivers/tty/serial/21285.c 	if (machine_is_personal_server())