summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-005-board-status
diff options
context:
space:
mode:
authorPatrick Rudolph <siro@das-labor.org>2018-11-26 16:20:33 +0100
committerPatrick Georgi <pgeorgi@google.com>2018-12-05 16:57:15 +0000
commitc438bcd5906bc04573073c6b2d88027780405491 (patch)
tree2e5dc38efc4f030c02a0a11d1bd2f4f356b8049f /util/lint/lint-stable-005-board-status
parent4af2add608eb0848f2c3105f0b29457b5b3ce138 (diff)
cpu/x86/pae: Fix pointer casts
Required to compile the code in x86_64, even though it's never used. Change-Id: I2be8ad8805804e4da52bdb02ab43cb833402f999 Signed-off-by: Patrick Rudolph <siro@das-labor.org> Reviewed-on: https://review.coreboot.org/c/29876 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Aaron Durbin <adurbin@chromium.org> Reviewed-by: Justin TerAvest <teravest@chromium.org> Reviewed-by: Furquan Shaikh <furquan@google.com>
Diffstat (limited to 'util/lint/lint-stable-005-board-status')
0 files changed, 0 insertions, 0 deletions