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