SHADOW_FIELD_RW
#define SHADOW_FIELD_RW(x, y) case x:
#define SHADOW_FIELD_RW(x, y) { x, offsetof(struct vmcs12, y) },
#define SHADOW_FIELD_RW(x, y)