diff options
author | Patrick Rudolph <siro@das-labor.org> | 2018-11-26 16:20:33 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-05 16:57:15 +0000 |
commit | c438bcd5906bc04573073c6b2d88027780405491 (patch) | |
tree | 2e5dc38efc4f030c02a0a11d1bd2f4f356b8049f /src/include | |
parent | 4af2add608eb0848f2c3105f0b29457b5b3ce138 (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 'src/include')
0 files changed, 0 insertions, 0 deletions