tree 4ca8243d9576a383003e3d7d70f6d8fa9ea5d606
parent eace41bf639dc5ad4f4a9ffed0a8f9cd6e0889f2
author Roberto Pereira <rpere@google.com> 1548277055 -0800
committer Roberto Pereira <rpere@google.com> 1548287207 -0800

[trusty-virtio] Add null terminator to of_device_id table

Bug: 122515813
Change-Id: I00eb5ce5f25b26c60aa323d9753e4656191849f5
Signed-off-by: Roberto Pereira <rpere@google.com>