Lines Matching refs:uint32_t
490 uint32_t version;
491 uint32_t pad0;
500 uint32_t tsc_to_system_mul;
585 uint32_t wc_sec_hi;
625 uint32_t flags; /* SIF_xxx flags. */
627 uint32_t store_evtchn; /* Event channel for store communication. */
631 uint32_t evtchn; /* Event channel for console page. */
634 uint32_t info_off; /* Offset of console_info struct. */
635 uint32_t info_size; /* Size of console_info struct from start.*/
675 uint32_t mod_start;
677 uint32_t mod_end;
679 uint32_t cmdline;
681 uint32_t pad;
713 uint32_t lfb_base;
714 uint32_t lfb_size;
722 uint32_t gbl_caps;
727 uint32_t ext_lfb_base;
743 uint32_t cmd;
748 uint32_t flags;
752 uint32_t index;
753 uint32_t tmem_offset;
754 uint32_t pfn_offset;
755 uint32_t len;