diff options
| author | Juan Quintela <quintela@redhat.com> | 2013-10-08 20:25:16 +0200 |
|---|---|---|
| committer | Juan Quintela <quintela@redhat.com> | 2014-01-13 14:04:54 +0100 |
| commit | 4f13bb80a2dc1bb851b43da6dd9117473772b197 (patch) | |
| tree | 4cea125993c7caf5feea479b5672ac6c7e9cb887 /roms/configure-seabios.sh | |
| parent | 86a49582dbe66d59a9366d2f002f0d6af965ecb8 (diff) | |
memory: unfold cpu_physical_memory_set_dirty() in its only user
Signed-off-by: Juan Quintela <quintela@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Orit Wasserman <owasserm@redhat.com>
Diffstat (limited to 'roms/configure-seabios.sh')
0 files changed, 0 insertions, 0 deletions