acpidev_dr_max_io_units_per_board
return (acpidev_dr_max_io_units_per_board());
extern uint32_t acpidev_dr_max_io_units_per_board(void);