| /* | |
| * Copyright (c) 2014 The Chromium OS Authors. All rights reserved. | |
| * Use of this source code is governed by a BSD-style license that can be | |
| * found in the LICENSE file. | |
| * | |
| * Alternatively, this software may be distributed under the terms of the | |
| * GNU General Public License ("GPL") version 2 as published by the Free | |
| * Software Foundation. | |
| */ | |
| #include <common.h> | |
| #include <vboot_api.h> | |
| /* This should never get called. */ | |
| uint32_t VbExGetSwitches(uint32_t request_mask) | |
| { | |
| return 0; | |
| } |