1 /*- 2 * Copyright (c) 2000 Mitsuru IWASAKI <iwasaki@jp.freebsd.org> 3 * Copyright (c) 2000 Michael Smith <msmith@freebsd.org> 4 * Copyright (c) 2000 BSDi 5 * All rights reserved. 6 * 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions 9 * are met: 10 * 1. Redistributions of source code must retain the above copyright 11 * notice, this list of conditions and the following disclaimer. 12 * 2. Redistributions in binary form must reproduce the above copyright 13 * notice, this list of conditions and the following disclaimer in the 14 * documentation and/or other materials provided with the distribution. 15 * 16 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 17 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 20 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 22 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 23 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 24 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 25 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 26 * SUCH DAMAGE. 27 * 28 * $FreeBSD$ 29 */ 30 31 #ifndef _ACPIVAR_H_ 32 #define _ACPIVAR_H_ 33 34 #ifdef _KERNEL 35 36 #include "acpi_if.h" 37 #include "bus_if.h" 38 #include <sys/eventhandler.h> 39 #include <sys/ktr.h> 40 #include <sys/lock.h> 41 #include <sys/mutex.h> 42 #include <sys/selinfo.h> 43 #include <sys/sx.h> 44 #include <sys/sysctl.h> 45 46 #include <machine/bus.h> 47 #include <machine/resource.h> 48 49 struct apm_clone_data; 50 struct acpi_softc { 51 device_t acpi_dev; 52 struct cdev *acpi_dev_t; 53 54 int acpi_enabled; 55 int acpi_sstate; 56 int acpi_sleep_disabled; 57 int acpi_resources_reserved; 58 59 struct sysctl_ctx_list acpi_sysctl_ctx; 60 struct sysctl_oid *acpi_sysctl_tree; 61 int acpi_power_button_sx; 62 int acpi_sleep_button_sx; 63 int acpi_lid_switch_sx; 64 65 int acpi_standby_sx; 66 int acpi_suspend_sx; 67 68 int acpi_sleep_delay; 69 int acpi_s4bios; 70 int acpi_do_disable; 71 int acpi_verbose; 72 int acpi_handle_reboot; 73 74 vm_offset_t acpi_wakeaddr; 75 vm_paddr_t acpi_wakephys; 76 77 int acpi_next_sstate; /* Next suspend Sx state. */ 78 struct apm_clone_data *acpi_clone; /* Pseudo-dev for devd(8). */ 79 STAILQ_HEAD(,apm_clone_data) apm_cdevs; /* All apm/apmctl/acpi cdevs. */ 80 struct callout susp_force_to; /* Force suspend if no acks. */ 81 }; 82 83 struct acpi_device { 84 /* ACPI ivars */ 85 ACPI_HANDLE ad_handle; 86 void *ad_private; 87 int ad_flags; 88 89 /* Resources */ 90 struct resource_list ad_rl; 91 }; 92 93 /* Track device (/dev/{apm,apmctl} and /dev/acpi) notification status. */ 94 struct apm_clone_data { 95 STAILQ_ENTRY(apm_clone_data) entries; 96 struct cdev *cdev; 97 int flags; 98 #define ACPI_EVF_NONE 0 /* /dev/apm semantics */ 99 #define ACPI_EVF_DEVD 1 /* /dev/acpi is handled via devd(8) */ 100 #define ACPI_EVF_WRITE 2 /* Device instance is opened writable. */ 101 int notify_status; 102 #define APM_EV_NONE 0 /* Device not yet aware of pending sleep. */ 103 #define APM_EV_NOTIFIED 1 /* Device saw next sleep state. */ 104 #define APM_EV_ACKED 2 /* Device agreed sleep can occur. */ 105 struct acpi_softc *acpi_sc; 106 struct selinfo sel_read; 107 }; 108 109 #define ACPI_PRW_MAX_POWERRES 8 110 111 struct acpi_prw_data { 112 ACPI_HANDLE gpe_handle; 113 int gpe_bit; 114 int lowest_wake; 115 ACPI_OBJECT power_res[ACPI_PRW_MAX_POWERRES]; 116 int power_res_count; 117 }; 118 119 /* Flags for each device defined in the AML namespace. */ 120 #define ACPI_FLAG_WAKE_ENABLED 0x1 121 122 /* Macros for extracting parts of a PCI address from an _ADR value. */ 123 #define ACPI_ADR_PCI_SLOT(adr) (((adr) & 0xffff0000) >> 16) 124 #define ACPI_ADR_PCI_FUNC(adr) ((adr) & 0xffff) 125 126 /* 127 * Entry points to ACPI from above are global functions defined in this 128 * file, sysctls, and I/O on the control device. Entry points from below 129 * are interrupts (the SCI), notifies, task queue threads, and the thermal 130 * zone polling thread. 131 * 132 * ACPI tables and global shared data are protected by a global lock 133 * (acpi_mutex). 134 * 135 * Each ACPI device can have its own driver-specific mutex for protecting 136 * shared access to local data. The ACPI_LOCK macros handle mutexes. 137 * 138 * Drivers that need to serialize access to functions (e.g., to route 139 * interrupts, get/set control paths, etc.) should use the sx lock macros 140 * (ACPI_SERIAL). 141 * 142 * ACPI-CA handles its own locking and should not be called with locks held. 143 * 144 * The most complicated path is: 145 * GPE -> EC runs _Qxx -> _Qxx reads EC space -> GPE 146 */ 147 extern struct mtx acpi_mutex; 148 #define ACPI_LOCK(sys) mtx_lock(&sys##_mutex) 149 #define ACPI_UNLOCK(sys) mtx_unlock(&sys##_mutex) 150 #define ACPI_LOCK_ASSERT(sys) mtx_assert(&sys##_mutex, MA_OWNED); 151 #define ACPI_LOCK_DECL(sys, name) \ 152 static struct mtx sys##_mutex; \ 153 MTX_SYSINIT(sys##_mutex, &sys##_mutex, name, MTX_DEF) 154 #define ACPI_SERIAL_BEGIN(sys) sx_xlock(&sys##_sxlock) 155 #define ACPI_SERIAL_END(sys) sx_xunlock(&sys##_sxlock) 156 #define ACPI_SERIAL_ASSERT(sys) sx_assert(&sys##_sxlock, SX_XLOCKED); 157 #define ACPI_SERIAL_DECL(sys, name) \ 158 static struct sx sys##_sxlock; \ 159 SX_SYSINIT(sys##_sxlock, &sys##_sxlock, name) 160 161 /* 162 * ACPI CA does not define layers for non-ACPI CA drivers. 163 * We define some here within the range provided. 164 */ 165 #define ACPI_AC_ADAPTER 0x00010000 166 #define ACPI_BATTERY 0x00020000 167 #define ACPI_BUS 0x00040000 168 #define ACPI_BUTTON 0x00080000 169 #define ACPI_EC 0x00100000 170 #define ACPI_FAN 0x00200000 171 #define ACPI_POWERRES 0x00400000 172 #define ACPI_PROCESSOR 0x00800000 173 #define ACPI_THERMAL 0x01000000 174 #define ACPI_TIMER 0x02000000 175 #define ACPI_OEM 0x04000000 176 177 /* 178 * Constants for different interrupt models used with acpi_SetIntrModel(). 179 */ 180 #define ACPI_INTR_PIC 0 181 #define ACPI_INTR_APIC 1 182 #define ACPI_INTR_SAPIC 2 183 184 /* 185 * Various features and capabilities for the acpi_get_features() method. 186 * In particular, these are used for the ACPI 3.0 _PDC and _OSC methods. 187 * See the Intel document titled "Intel Processor Vendor-Specific ACPI", 188 * number 302223-007. 189 */ 190 #define ACPI_CAP_PERF_MSRS (1 << 0) /* Intel SpeedStep PERF_CTL MSRs */ 191 #define ACPI_CAP_C1_IO_HALT (1 << 1) /* Intel C1 "IO then halt" sequence */ 192 #define ACPI_CAP_THR_MSRS (1 << 2) /* Intel OnDemand throttling MSRs */ 193 #define ACPI_CAP_SMP_SAME (1 << 3) /* MP C1, Px, and Tx (all the same) */ 194 #define ACPI_CAP_SMP_SAME_C3 (1 << 4) /* MP C2 and C3 (all the same) */ 195 #define ACPI_CAP_SMP_DIFF_PX (1 << 5) /* MP Px (different, using _PSD) */ 196 #define ACPI_CAP_SMP_DIFF_CX (1 << 6) /* MP Cx (different, using _CSD) */ 197 #define ACPI_CAP_SMP_DIFF_TX (1 << 7) /* MP Tx (different, using _TSD) */ 198 #define ACPI_CAP_SMP_C1_NATIVE (1 << 8) /* MP C1 support other than halt */ 199 #define ACPI_CAP_SMP_C3_NATIVE (1 << 9) /* MP C2 and C3 support */ 200 #define ACPI_CAP_PX_HW_COORD (1 << 11) /* Intel P-state HW coordination */ 201 #define ACPI_CAP_INTR_CPPC (1 << 12) /* Native Interrupt Handling for 202 Collaborative Processor Performance Control notifications */ 203 #define ACPI_CAP_HW_DUTY_C (1 << 13) /* Hardware Duty Cycling */ 204 205 /* 206 * Quirk flags. 207 * 208 * ACPI_Q_BROKEN: Disables all ACPI support. 209 * ACPI_Q_TIMER: Disables support for the ACPI timer. 210 * ACPI_Q_MADT_IRQ0: Specifies that ISA IRQ 0 is wired up to pin 0 of the 211 * first APIC and that the MADT should force that by ignoring the PC-AT 212 * compatible flag and ignoring overrides that redirect IRQ 0 to pin 2. 213 */ 214 extern int acpi_quirks; 215 #define ACPI_Q_OK 0 216 #define ACPI_Q_BROKEN (1 << 0) 217 #define ACPI_Q_TIMER (1 << 1) 218 #define ACPI_Q_MADT_IRQ0 (1 << 2) 219 220 /* 221 * Note that the low ivar values are reserved to provide 222 * interface compatibility with ISA drivers which can also 223 * attach to ACPI. 224 */ 225 #define ACPI_IVAR_HANDLE 0x100 226 #define ACPI_IVAR_UNUSED 0x101 /* Unused/reserved. */ 227 #define ACPI_IVAR_PRIVATE 0x102 228 #define ACPI_IVAR_FLAGS 0x103 229 230 /* 231 * Accessor functions for our ivars. Default value for BUS_READ_IVAR is 232 * (type) 0. The <sys/bus.h> accessor functions don't check return values. 233 */ 234 #define __ACPI_BUS_ACCESSOR(varp, var, ivarp, ivar, type) \ 235 \ 236 static __inline type varp ## _get_ ## var(device_t dev) \ 237 { \ 238 uintptr_t v = 0; \ 239 BUS_READ_IVAR(device_get_parent(dev), dev, \ 240 ivarp ## _IVAR_ ## ivar, &v); \ 241 return ((type) v); \ 242 } \ 243 \ 244 static __inline void varp ## _set_ ## var(device_t dev, type t) \ 245 { \ 246 uintptr_t v = (uintptr_t) t; \ 247 BUS_WRITE_IVAR(device_get_parent(dev), dev, \ 248 ivarp ## _IVAR_ ## ivar, v); \ 249 } 250 251 __ACPI_BUS_ACCESSOR(acpi, handle, ACPI, HANDLE, ACPI_HANDLE) 252 __ACPI_BUS_ACCESSOR(acpi, private, ACPI, PRIVATE, void *) 253 __ACPI_BUS_ACCESSOR(acpi, flags, ACPI, FLAGS, int) 254 255 void acpi_fake_objhandler(ACPI_HANDLE h, void *data); 256 static __inline device_t 257 acpi_get_device(ACPI_HANDLE handle) 258 { 259 void *dev = NULL; 260 AcpiGetData(handle, acpi_fake_objhandler, &dev); 261 return ((device_t)dev); 262 } 263 264 static __inline ACPI_OBJECT_TYPE 265 acpi_get_type(device_t dev) 266 { 267 ACPI_HANDLE h; 268 ACPI_OBJECT_TYPE t; 269 270 if ((h = acpi_get_handle(dev)) == NULL) 271 return (ACPI_TYPE_NOT_FOUND); 272 if (ACPI_FAILURE(AcpiGetType(h, &t))) 273 return (ACPI_TYPE_NOT_FOUND); 274 return (t); 275 } 276 277 /* Find the difference between two PM tick counts. */ 278 static __inline uint32_t 279 acpi_TimerDelta(uint32_t end, uint32_t start) 280 { 281 282 if (end < start && (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0) 283 end |= 0x01000000; 284 return (end - start); 285 } 286 287 #ifdef ACPI_DEBUGGER 288 void acpi_EnterDebugger(void); 289 #endif 290 291 #ifdef ACPI_DEBUG 292 #include <sys/cons.h> 293 #define STEP(x) do {printf x, printf("\n"); cngetc();} while (0) 294 #else 295 #define STEP(x) 296 #endif 297 298 #define ACPI_VPRINT(dev, acpi_sc, x...) do { \ 299 if (acpi_get_verbose(acpi_sc)) \ 300 device_printf(dev, x); \ 301 } while (0) 302 303 /* Values for the device _STA (status) method. */ 304 #define ACPI_STA_PRESENT (1 << 0) 305 #define ACPI_STA_ENABLED (1 << 1) 306 #define ACPI_STA_SHOW_IN_UI (1 << 2) 307 #define ACPI_STA_FUNCTIONAL (1 << 3) 308 #define ACPI_STA_BATT_PRESENT (1 << 4) 309 310 #define ACPI_DEVINFO_PRESENT(x, flags) \ 311 (((x) & (flags)) == (flags)) 312 #define ACPI_DEVICE_PRESENT(x) \ 313 ACPI_DEVINFO_PRESENT(x, ACPI_STA_PRESENT | ACPI_STA_FUNCTIONAL) 314 #define ACPI_BATTERY_PRESENT(x) \ 315 ACPI_DEVINFO_PRESENT(x, ACPI_STA_PRESENT | ACPI_STA_FUNCTIONAL | \ 316 ACPI_STA_BATT_PRESENT) 317 318 /* Callback function type for walking subtables within a table. */ 319 typedef void acpi_subtable_handler(ACPI_SUBTABLE_HEADER *, void *); 320 321 BOOLEAN acpi_DeviceIsPresent(device_t dev); 322 BOOLEAN acpi_BatteryIsPresent(device_t dev); 323 ACPI_STATUS acpi_GetHandleInScope(ACPI_HANDLE parent, char *path, 324 ACPI_HANDLE *result); 325 ACPI_BUFFER *acpi_AllocBuffer(int size); 326 ACPI_STATUS acpi_ConvertBufferToInteger(ACPI_BUFFER *bufp, 327 UINT32 *number); 328 ACPI_STATUS acpi_GetInteger(ACPI_HANDLE handle, char *path, 329 UINT32 *number); 330 ACPI_STATUS acpi_SetInteger(ACPI_HANDLE handle, char *path, 331 UINT32 number); 332 ACPI_STATUS acpi_ForeachPackageObject(ACPI_OBJECT *obj, 333 void (*func)(ACPI_OBJECT *comp, void *arg), void *arg); 334 ACPI_STATUS acpi_FindIndexedResource(ACPI_BUFFER *buf, int index, 335 ACPI_RESOURCE **resp); 336 ACPI_STATUS acpi_AppendBufferResource(ACPI_BUFFER *buf, 337 ACPI_RESOURCE *res); 338 ACPI_STATUS acpi_EvaluateOSC(ACPI_HANDLE handle, uint8_t *uuid, 339 int revision, int count, uint32_t *caps_in, 340 uint32_t *caps_out, bool query); 341 ACPI_STATUS acpi_OverrideInterruptLevel(UINT32 InterruptNumber); 342 ACPI_STATUS acpi_SetIntrModel(int model); 343 int acpi_ReqSleepState(struct acpi_softc *sc, int state); 344 int acpi_AckSleepState(struct apm_clone_data *clone, int error); 345 ACPI_STATUS acpi_SetSleepState(struct acpi_softc *sc, int state); 346 int acpi_wake_set_enable(device_t dev, int enable); 347 int acpi_parse_prw(ACPI_HANDLE h, struct acpi_prw_data *prw); 348 ACPI_STATUS acpi_Startup(void); 349 void acpi_UserNotify(const char *subsystem, ACPI_HANDLE h, 350 uint8_t notify); 351 int acpi_bus_alloc_gas(device_t dev, int *type, int *rid, 352 ACPI_GENERIC_ADDRESS *gas, struct resource **res, 353 u_int flags); 354 void acpi_walk_subtables(void *first, void *end, 355 acpi_subtable_handler *handler, void *arg); 356 BOOLEAN acpi_MatchHid(ACPI_HANDLE h, const char *hid); 357 358 struct acpi_parse_resource_set { 359 void (*set_init)(device_t dev, void *arg, void **context); 360 void (*set_done)(device_t dev, void *context); 361 void (*set_ioport)(device_t dev, void *context, uint64_t base, 362 uint64_t length); 363 void (*set_iorange)(device_t dev, void *context, uint64_t low, 364 uint64_t high, uint64_t length, uint64_t align); 365 void (*set_memory)(device_t dev, void *context, uint64_t base, 366 uint64_t length); 367 void (*set_memoryrange)(device_t dev, void *context, uint64_t low, 368 uint64_t high, uint64_t length, uint64_t align); 369 void (*set_irq)(device_t dev, void *context, uint8_t *irq, 370 int count, int trig, int pol); 371 void (*set_ext_irq)(device_t dev, void *context, uint32_t *irq, 372 int count, int trig, int pol); 373 void (*set_drq)(device_t dev, void *context, uint8_t *drq, 374 int count); 375 void (*set_start_dependent)(device_t dev, void *context, 376 int preference); 377 void (*set_end_dependent)(device_t dev, void *context); 378 }; 379 380 extern struct acpi_parse_resource_set acpi_res_parse_set; 381 382 int acpi_identify(void); 383 void acpi_config_intr(device_t dev, ACPI_RESOURCE *res); 384 ACPI_STATUS acpi_lookup_irq_resource(device_t dev, int rid, 385 struct resource *res, ACPI_RESOURCE *acpi_res); 386 ACPI_STATUS acpi_parse_resources(device_t dev, ACPI_HANDLE handle, 387 struct acpi_parse_resource_set *set, void *arg); 388 struct resource *acpi_alloc_sysres(device_t child, int type, int *rid, 389 rman_res_t start, rman_res_t end, rman_res_t count, 390 u_int flags); 391 392 /* ACPI event handling */ 393 UINT32 acpi_event_power_button_sleep(void *context); 394 UINT32 acpi_event_power_button_wake(void *context); 395 UINT32 acpi_event_sleep_button_sleep(void *context); 396 UINT32 acpi_event_sleep_button_wake(void *context); 397 398 #define ACPI_EVENT_PRI_FIRST 0 399 #define ACPI_EVENT_PRI_DEFAULT 10000 400 #define ACPI_EVENT_PRI_LAST 20000 401 402 typedef void (*acpi_event_handler_t)(void *, int); 403 404 EVENTHANDLER_DECLARE(acpi_sleep_event, acpi_event_handler_t); 405 EVENTHANDLER_DECLARE(acpi_wakeup_event, acpi_event_handler_t); 406 407 /* Device power control. */ 408 ACPI_STATUS acpi_pwr_wake_enable(ACPI_HANDLE consumer, int enable); 409 ACPI_STATUS acpi_pwr_switch_consumer(ACPI_HANDLE consumer, int state); 410 int acpi_device_pwr_for_sleep(device_t bus, device_t dev, 411 int *dstate); 412 413 /* APM emulation */ 414 void acpi_apm_init(struct acpi_softc *); 415 416 /* Misc. */ 417 static __inline struct acpi_softc * 418 acpi_device_get_parent_softc(device_t child) 419 { 420 device_t parent; 421 422 parent = device_get_parent(child); 423 if (parent == NULL) 424 return (NULL); 425 return (device_get_softc(parent)); 426 } 427 428 static __inline int 429 acpi_get_verbose(struct acpi_softc *sc) 430 { 431 if (sc) 432 return (sc->acpi_verbose); 433 return (0); 434 } 435 436 char *acpi_name(ACPI_HANDLE handle); 437 int acpi_avoid(ACPI_HANDLE handle); 438 int acpi_disabled(char *subsys); 439 int acpi_machdep_init(device_t dev); 440 void acpi_install_wakeup_handler(struct acpi_softc *sc); 441 int acpi_sleep_machdep(struct acpi_softc *sc, int state); 442 int acpi_wakeup_machdep(struct acpi_softc *sc, int state, 443 int sleep_result, int intr_enabled); 444 int acpi_table_quirks(int *quirks); 445 int acpi_machdep_quirks(int *quirks); 446 447 uint32_t hpet_get_uid(device_t dev); 448 449 /* Battery Abstraction. */ 450 struct acpi_battinfo; 451 452 int acpi_battery_register(device_t dev); 453 int acpi_battery_remove(device_t dev); 454 int acpi_battery_get_units(void); 455 int acpi_battery_get_info_expire(void); 456 int acpi_battery_bst_valid(struct acpi_bst *bst); 457 int acpi_battery_bif_valid(struct acpi_bif *bif); 458 int acpi_battery_get_battinfo(device_t dev, 459 struct acpi_battinfo *info); 460 461 /* Embedded controller. */ 462 void acpi_ec_ecdt_probe(device_t); 463 464 /* AC adapter interface. */ 465 int acpi_acad_get_acline(int *); 466 467 /* Package manipulation convenience functions. */ 468 #define ACPI_PKG_VALID(pkg, size) \ 469 ((pkg) != NULL && (pkg)->Type == ACPI_TYPE_PACKAGE && \ 470 (pkg)->Package.Count >= (size)) 471 int acpi_PkgInt(ACPI_OBJECT *res, int idx, UINT64 *dst); 472 int acpi_PkgInt32(ACPI_OBJECT *res, int idx, uint32_t *dst); 473 int acpi_PkgStr(ACPI_OBJECT *res, int idx, void *dst, size_t size); 474 int acpi_PkgGas(device_t dev, ACPI_OBJECT *res, int idx, int *type, 475 int *rid, struct resource **dst, u_int flags); 476 int acpi_PkgFFH_IntelCpu(ACPI_OBJECT *res, int idx, int *vendor, 477 int *class, uint64_t *address, int *accsize); 478 ACPI_HANDLE acpi_GetReference(ACPI_HANDLE scope, ACPI_OBJECT *obj); 479 480 /* 481 * Base level for BUS_ADD_CHILD. Special devices are added at orders less 482 * than this, and normal devices at or above this level. This keeps the 483 * probe order sorted so that things like sysresource are available before 484 * their children need them. 485 */ 486 #define ACPI_DEV_BASE_ORDER 100 487 488 /* Default maximum number of tasks to enqueue. */ 489 #ifndef ACPI_MAX_TASKS 490 #define ACPI_MAX_TASKS MAX(32, MAXCPU * 4) 491 #endif 492 493 /* Default number of task queue threads to start. */ 494 #ifndef ACPI_MAX_THREADS 495 #define ACPI_MAX_THREADS 3 496 #endif 497 498 /* Use the device logging level for ktr(4). */ 499 #define KTR_ACPI KTR_DEV 500 501 SYSCTL_DECL(_debug_acpi); 502 503 /* 504 * Map a PXM to a VM domain. 505 * 506 * Returns the VM domain ID if found, or -1 if not found / invalid. 507 */ 508 int acpi_map_pxm_to_vm_domainid(int pxm); 509 int acpi_get_cpus(device_t dev, device_t child, enum cpu_sets op, 510 size_t setsize, cpuset_t *cpuset); 511 int acpi_get_domain(device_t dev, device_t child, int *domain); 512 513 #endif /* _KERNEL */ 514 #endif /* !_ACPIVAR_H_ */ 515