27 char port_name[4] =
"PR00";
32 for (i = 0; i < 32; i++) {
34 if (!(bit & enable_map))
37 port_name[2] =
'0' + i / 10;
38 port_name[3] =
'0' + i % 10;
void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map)
void acpigen_pop_len(void)
void acpigen_write_scope(const char *name)
void acpigen_write_name_dword(const char *name, uint32_t val)
void acpigen_write_device(const char *name)