- Add a new device method that returns the VM domain ID of the given device, or -1 / ENOENT.
- Teach the x86 ACPI SRAT code to map PXM values back to VM domain IDs;
- Add methods to ACPI to perform a PXM lookup and map it to a VM domain ID;
- Print out the NUMA domain of a device (numa-domain X) if it exists.
A GENERIC kernel will just return -1 / ENOENT for all calls to bus_get_domain().