vk1.2: guest codegen

Change-Id: Id7fb6607f97691abdde6c089c1e67f5fed19bff4
19 files changed