cpu_sets
gicv5_get_cpus(device_t dev, device_t child, enum cpu_sets op, size_t setsize,
acpi_get_cpus(device_t dev, device_t child, enum cpu_sets op, size_t setsize,
acpi_pcib_get_cpus(device_t pcib, device_t dev, enum cpu_sets op,
int acpi_pcib_get_cpus(device_t pcib, device_t dev, enum cpu_sets op,
enum cpu_sets op = arg2;
vmbus_pcib_get_cpus(device_t pcib, device_t dev, enum cpu_sets op,
bus_generic_get_cpus(device_t dev, device_t child, enum cpu_sets op,
bus_get_cpus(device_t dev, enum cpu_sets op, size_t setsize, cpuset_t *cpuset)
root_get_cpus(device_t dev, device_t child, enum cpu_sets op, size_t setsize,
int ofw_pcibus_get_cpus(device_t dev, device_t child, enum cpu_sets op,
ofw_pcibus_get_cpus(device_t dev, device_t child, enum cpu_sets op, size_t setsize,
int bus_generic_get_cpus(device_t dev, device_t child, enum cpu_sets op,
int bus_get_cpus(device_t dev, enum cpu_sets op, size_t setsize,
nexus_get_cpus(device_t dev, device_t child, enum cpu_sets op, size_t setsize,