>>> On 08.03.18 at 12:30, <jgr...@suse.com> wrote:
> On 08/03/18 11:17, Jan Beulich wrote:
>>>>> On 02.03.18 at 09:14, <jgr...@suse.com> wrote:
>>> +static int parse_xpti(const char *s)
>>> +{
>>> +    int rc = 0;
>>> +
>>> +    switch ( parse_bool(s, NULL) )
>>> +    {
>>> +    case 0:
>>> +        opt_xpti = XPTI_OFF;
>>> +        break;
>>> +    case 1:
>>> +        opt_xpti = XPTI_ON;
>>> +        break;
>>> +    default:
>>> +        if ( !strcmp(s, "default") )
>> 
>> This wants to also be mentioned in the command line doc.
> 
> Uuh, this was a copy-and-paste result from my alternative XPTI approach.
> I'll just drop that value.

I'm not sure that's the best route (and I did intentionally not ask for
you doing so): In cases where you can't edit the pre-built command
line options (like e.g. those read by xen.efi from the config file), it
is quite useful to be able to override what may be there back to the
default.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to