static void set_sigp_status(SigpInfo *si, uint64_t status)

{

    *si->status_reg &= 0xffffffff00000000ULL;

    *si->status_reg |= status;

    si->cc = SIGP_CC_STATUS_STORED;

}

static void set_sigp_status(SigpInfo *si, uint64_t status)

{

    *si->status_reg &= 0xffffffff00000000ULL;

    *si->status_reg |= status;

    si->cc = SIGP_CC_STATUS_STORED;

}

static void FUNC_0(SigpInfo *VAR_0, uint64_t VAR_1)

{

    *VAR_0->status_reg &= 0xffffffff00000000ULL;

    *VAR_0->status_reg |= VAR_1;

    VAR_0->cc = SIGP_CC_STATUS_STORED;

}

static void FUNC_0(SigpInfo *VAR_0, uint64_t VAR_1)
{ *VAR_0->status_reg &= 0xffffffff00000000ULL; *VAR_0->status_reg |= VAR_1; VAR_0->cc = SIGP_CC_STATUS_STORED; }