On Thu, Feb 13, 2020 at 11:52:09AM +0000, John Garry wrote: [...] > > As for when it's not set, it's unclear. My understanding is that the ACPI > processor id should still be used as the non-leaf node identifier, but it > would not match a UID for a processor container (as it may not exist). > I can't infer anything that matches your understanding from the spec in this regard. If it's not set, then it is left to OSPM. > The kernel does have behave according to this. > According to what in the specification ? > So how I am misinterpreting this? > May be you are not, it is just ambiguous in the spec, worth checking and fixing if it is an issue. I reiterate we don't want to generate anything in the OS for this purpose. -- Regards, Sudeep