Symbol: dax_fault_is_synchronous