static target_ulong h_set_dabr(PowerPCCPU *cpu, sPAPRMachineState *spapr,

                               target_ulong opcode, target_ulong *args)

{

    /* FIXME: actually implement this */

    return H_HARDWARE;

}
