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())