machine_has_merced_bus
extern int machine_has_merced_bus(void);
pa_serialize_tlb_flushes = machine_has_merced_bus();