diff --git a/src/acpi/acpigen.c b/src/acpi/acpigen.c
index ee7c90cf01..0ed3708016 100644
--- a/src/acpi/acpigen.c
+++ b/src/acpi/acpigen.c
@@ -1381,6 +1381,14 @@ void acpigen_write_else(void)
 	acpigen_write_len_f();
 }
 
+void acpigen_write_shiftleft_op_int(uint8_t src_result, uint64_t count)
+{
+	acpigen_emit_byte(SHIFT_LEFT_OP);
+	acpigen_emit_byte(src_result);
+	acpigen_write_integer(count);
+	acpigen_emit_byte(ZERO_OP);
+}
+
 void acpigen_write_to_buffer(uint8_t src, uint8_t dst)
 {
 	acpigen_emit_byte(TO_BUFFER_OP);
diff --git a/src/include/acpi/acpigen.h b/src/include/acpi/acpigen.h
index e44326790b..cb9e9c97ab 100644
--- a/src/include/acpi/acpigen.h
+++ b/src/include/acpi/acpigen.h
@@ -378,6 +378,7 @@ void acpigen_write_if_lequal_op_op(uint8_t op, uint8_t val);
 void acpigen_write_if_lequal_op_int(uint8_t op, uint64_t val);
 void acpigen_write_if_lequal_namestr_int(const char *namestr, uint64_t val);
 void acpigen_write_else(void);
+void acpigen_write_shiftleft_op_int(uint8_t src_result, uint64_t count);
 void acpigen_write_to_buffer(uint8_t src, uint8_t dst);
 void acpigen_write_to_integer(uint8_t src, uint8_t dst);
 void acpigen_write_to_integer_from_namestring(const char *source, uint8_t dst_op);