From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1752000AbdEQAMf (ORCPT <rfc822;w@1wt.eu>);
        Tue, 16 May 2017 20:12:35 -0400
Received: from mail-pg0-f67.google.com ([74.125.83.67]:33992 "EHLO
        mail-pg0-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1750949AbdEQAMe (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Tue, 16 May 2017 20:12:34 -0400
Reply-To: pgnet.dev@gmail.com
Subject: Re: [Xen-devel] HPET enabled in BIOS, not presented as
 available_clocksource -- config, kernel code, &/or BIOS?
To: "Austin S. Hemmelgarn" <ahferroin7@gmail.com>,
        Valentin Vidic <Valentin.Vidic@CARNet.hr>
Cc: Andrew Cooper <andrew.cooper3@citrix.com>,
        Randy Dunlap <rdunlap@infradead.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        Clemens Ladisch <clemens@ladisch.de>, xen-devel@lists.xenproject.org
References: <ccad7dbf-2136-ea7e-1919-8d94460096c9@gmail.com>
 <2c84903a-ab24-a073-378b-82fe6052e6ac@infradead.org>
 <927a6245-ae8b-ff4b-d668-a819b8351152@citrix.com>
 <34c505d9-9dc6-8982-4875-74dedfc5e0d1@gmail.com>
 <be4448d3-7661-8653-c65f-2a023292b842@citrix.com>
 <dcd8d407-4597-b754-2efa-a81fcd9e8a83@gmail.com>
 <20170513202811.j5mhumhvow3gadms@gavran.carpriv.carnet.hr>
 <df6ea7bf-43f7-d331-a37e-802f3d984a96@gmail.com>
 <20170513213215.wxkskhyvbu7rz7n7@gavran.carpriv.carnet.hr>
 <f0bbccca-edbd-1e1d-c103-dde7c985baac@gmail.com>
 <20170513221536.bmijpvmv47pab75c@gavran.carpriv.carnet.hr>
 <5c0c01ae-775f-55b0-934e-90f81eae8ea3@gmail.com>
 <932d20ce-601d-cb56-73bc-cc2201a85da0@gmail.com>
From: PGNet Dev <pgnet.dev@gmail.com>
Message-ID: <859558b7-0441-bf4c-4073-7c65e3fcb480@gmail.com>
Date: Tue, 16 May 2017 17:12:30 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:53.0) Gecko/20100101
 Thunderbird/53.0
MIME-Version: 1.0
In-Reply-To: <932d20ce-601d-cb56-73bc-cc2201a85da0@gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org