1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/include/tpmfront.h b/extras/mini-os/include/tpmfront.h
index a0c7c4d8b5..c489faec75 100644
--- a/extras/mini-os/include/tpmfront.h
+++ b/extras/mini-os/include/tpmfront.h
@@ -37,7 +37,7 @@ struct tpmfront_dev {
    grant_ref_t ring_ref;
    evtchn_port_t evtchn;
 
-   vtpm_shared_page_t *page;
+   tpmif_shared_page_t *page;
 
    domid_t bedomid;
    char* nodename;