Flush TLB after page_map_create

Required if we update an existing mapping.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
printk-core: Add support for 0-leading integer output

This honors e.g. %08x.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Small cleanup and extension of EXIT_REASON constants

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Introduce and use struct vmcs

Use a proper structure type to access a VMCS.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Rename skip_emulated_instruction -> vmx_skip_emulated_instruction

No functional changes.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Dump field number of failing vmwrite

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>