typedef struct _PRL_IO_GUEST_NOTIFY_COHERENCE_STATE {
  PRL_UINT32 bCoherenceDisabled;
} PRL_IO_GUEST_NOTIFY_COHERENCE_STATE;