| commit | 9ed8da5f8d049b4632034044cf0a0d1e15435695 | [log] [tgz] |
|---|---|---|
| author | Wedson Almeida Filho <wedsonaf@google.com> | Mon Dec 17 16:09:11 2018 +0000 |
| committer | Wedson Almeida Filho <wedsonaf@google.com> | Mon Dec 17 16:09:11 2018 +0000 |
| tree | 6de3daf6bcc79d07afae99a31655115bb7826e0e | |
| parent | 22d5eaa57060ebe34d3a76fa0c09c744d05114c4 [diff] [blame] |
Incorporating feedback. Change-Id: Iaefa5d51f5872efa29e8c32e3d6bfdaae6b8966b
diff --git a/src/main.c b/src/main.c index a5c1f29..1ea4ed9 100644 --- a/src/main.c +++ b/src/main.c
@@ -31,7 +31,7 @@ #include "vmapi/hf/call.h" -alignas(sizeof( +alignas(alignof( struct mm_page_table)) char ptable_buf[sizeof(struct mm_page_table) * HEAP_PAGES];