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 S1759380AbdENROD (ORCPT <rfc822;w@1wt.eu>);
        Sun, 14 May 2017 13:14:03 -0400
Received: from mx2.suse.de ([195.135.220.15]:33726 "EHLO mx1.suse.de"
        rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP
        id S1755262AbdENROA (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
        Sun, 14 May 2017 13:14:00 -0400
Subject: Re: [Xen-devel] HPET enabled in BIOS, not presented as
 available_clocksource -- config, kernel code, &/or BIOS?
To: Andrew Cooper <andrew.cooper3@citrix.com>, pgnet.dev@gmail.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
Cc: Jan Beulich <JBeulich@suse.com>
References: <61d510e2-0353-ddf2-f63c-8a1688a6b6ed@gmail.com>
 <9ff8ca5a-727d-13c3-7c39-6383e00d2edf@infradead.org>
 <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>
 <350fb783-80b5-669f-7015-46c45226ed67@citrix.com>
From: Juergen Gross <jgross@suse.com>
Message-ID: <acef946c-d434-2f4d-8c0e-b35c3f819e72@suse.com>
Date: Sun, 14 May 2017 19:13:56 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.1.0
MIME-Version: 1.0
In-Reply-To: <350fb783-80b5-669f-7015-46c45226ed67@citrix.com>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
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

On 13/05/17 22:16, Andrew Cooper wrote:
> On 13/05/2017 21:05, PGNet Dev wrote:
>> On 5/13/17 12:59 PM, Andrew Cooper wrote:
>>> Ok.  Lack of a clocksource is to be expected.
>>>
>>> The reason why the HPETs are unavailable is that dom0 is not a position
>>> to program them; dom0 doesn't know what Xen has set up in the IDT.
>>>
>>> Use `xl dmesg` to get to the hypervisor dmesg log.  You should see
>>> mention of the HPET in there if Xen has found it.
>>
>> back to the error at hand ...
>>
>>  xl dmesg | grep -i hpet
>>   [    1.365876] hpet_acpi_add: no address or irqs in _CRS
>>   [    1.365876] hpet_acpi_add: no address or irqs in _CRS
>>
>> again, only present when booting with Xen.
>>
>> same kernel, no Xen, no such error.
> 
> We don't have code like that in upstream Xen.  No function with that
> name, or a string which looks like that error message.

This is a Linux kernel message.


Juergen