// SPDX-License-Identifier: GPL-2.0 #include "pr.h" #include #include #include #include #include "ec.h" #include "misc.h" #include "util.h" /* ========================================================================== */ int ac71_fn_lock_get_state(void) { int status = ec_read_byte(BIOS_CTRL_1_ADDR); if (status < 0) return status; return !!(status & BIOS_CTRL_1_FN_LOCK_STATUS); } int ac71_fn_lock_set_state(bool state) { int status = ec_read_byte(BIOS_CTRL_1_ADDR); if (status < 0) return status; status = SET_BIT(status, BIOS_CTRL_1_FN_LOCK_STATUS, state); return ec_write_byte(BIOS_CTRL_1_ADDR, status); }