Lines Matching refs:there

59    table as hardware vendors and other OS vendors.  In fact, there is no
79 integrated devices, but there are no good processes for supporting what the
80 server vendors need.  Linux could potentially get there with DT, but doing so
128 the kernel will try to use DT for device enumeration; if there is no DT
132 fall back to DT if there are no ACPI tables present.  The basic idea is that
229 Source Language (section 19 of the specification).  This means that there
235 names ("KEY0") to four characters unlike DT; (2) there is no industry
237 there is also no registry for the definition of property values ("value0"),
245 be used if _DSD cannot represent the data required, and there is no way
246 to create a new UUID for the _DSD object.  Note that there is even less
247 regulation of the use of _DSM than there is of _DSD.  Drivers that depend
285 It may make sense to provide notice to the UEFI Forum that there is the
361 are not set, there is no direct way for Linux to control them.
444 the released standards from UEFI ASWG.  As a practical matter, there will be
447 be avoided if possible.  If there are features missing from ACPI that preclude