Lines Matching refs:uint32_t
484 uint32_t version;
485 uint32_t pad0;
494 uint32_t tsc_to_system_mul;
614 uint32_t flags; /* SIF_xxx flags. */
616 uint32_t store_evtchn; /* Event channel for store communication. */
620 uint32_t evtchn; /* Event channel for console page. */
623 uint32_t info_off; /* Offset of console_info struct. */
624 uint32_t info_size; /* Size of console_info struct from start.*/
662 uint32_t mod_start;
664 uint32_t mod_end;
666 uint32_t cmdline;
668 uint32_t pad;
700 uint32_t lfb_base;
701 uint32_t lfb_size;
709 uint32_t gbl_caps;
727 uint32_t cmd;
732 uint32_t flags;
736 uint32_t index;
737 uint32_t tmem_offset;
738 uint32_t pfn_offset;
739 uint32_t len;