void mainboard_smi_gpi(u32 gpi_sts) { if (gpi_sts & (1 << GPE_EC_SCI)) mainboard_smi_handle_ec_sci(); }
void mainboard_smi_gpi(u32 gpi) { if (gpi & (1 << 12)) mainboard_smi_handle_ec_sci(); }