Searched refs:hdecr_expiry_tb (Results 1 – 2 of 2) sorted by relevance
824 uint64_t *hdecr_expiry_tb; in copy_state_hdecr() local826 hdecr_expiry_tb = a; in copy_state_hdecr()830 buf[0] = cpu_to_be64(*hdecr_expiry_tb); in copy_state_hdecr()834 *hdecr_expiry_tb = be64_to_cpu(buf[0]); in copy_state_hdecr()1012 GSBE_NESTED_VCPU(GSB_VCPU_HDEC_EXPIRY_TB, 0x8, hdecr_expiry_tb,1744 hdec = vcpu->hdecr_expiry_tb - now; in nested_papr_load_l2()
501 uint64_t hdecr_expiry_tb; member