On 04.01.2025 05:15, Denis Mukhin wrote:
> 
> On Tuesday, December 10th, 2024 at 11:28 PM, Jan Beulich <jbeul...@suse.com> 
> wrote:
> 
>>
>>
>> On 06.12.2024 05:41, Denis Mukhin via B4 Relay wrote:
>>
>>> From: Denis Mukhin dmuk...@ford.com
>>>
>>> console_owner_domid() is introduced to obtain the "console owner" domain ID.
>>>
>>> The call is used in NS8250 emulator to identify the case when physical xen
>>> console focus is owned by the domain w/ NS8250 emulator, in which case,
>>> messages from guest OS are formatted w/o '(XEN)' prefix.
>>
>>
>> Such messages ought to be processed through guest_printk(), which wants a
>> domain pointer, not a domid_t anyway. Plus isn't that going to be
>> current->domain anyway at the callsite, eliminating the need for such a
>>
>> helper altogether?
> 
> If the current domain is owning the physical console and printing, say, Linux
> login prompt, there's no need to add "(XEN)" for every printout; adding 
> timestamps
> can be disabled from Xen command line.

Surely there shouldn't be (XEN), but without (d<N>) it'll be ambiguous in a log
which domain a message came from. As long as only Dom0 messages are left un-
prefixed, that's likely fine. Yet as soon as multiple domains can issue such
messages (and have console "focus") I think the prefix needs to be there.

Jan

Reply via email to