e4269fc973
Tried to minimize actual code modifcations but we got - several comments/printf messages edited to meet line limits - occasionally switch some lines to put declarations or printfs in blocks - couple more places marked TODO or FIXME to avoid non-trivial changes - fixed PAGE_SIZE define in helpers.h to avoid redeclaration warning - remove several chunks of dead or commented code Co-authored-by: Steffen Schulz <steffen.schulz@intel.com>
13 lines
373 B
C
13 lines
373 B
C
#pragma once
|
|
#include <stdint.h>
|
|
|
|
void print_48_paging(uint64_t cr3);
|
|
void kvm_nested_get_info(CPUState *cpu);
|
|
uint64_t get_nested_guest_rip(CPUState *cpu);
|
|
uint64_t get_nested_host_rip(CPUState *cpu);
|
|
|
|
|
|
uint64_t get_nested_host_cr3(CPUState *cpu);
|
|
|
|
void set_nested_rip(CPUState *cpu, uint64_t rip);
|
|
void print_configuration(FILE *stream, void* configuration, size_t size); |