#include <stdint.h>

void generate_sata_ssdt_ports(const char *scope, uint32_t enable_map);