acpi_rs_out_integer16
static void acpi_rs_out_integer16(const char *title, u16 value);
acpi_rs_out_integer16(name, ACPI_GET16(target));