Lines Matching refs:uint32_t

488 	uint32_t version;
489 	uint32_t pad0;
498 	uint32_t tsc_to_system_mul;
618 	uint32_t flags;             /* SIF_xxx flags.                         */
620 	uint32_t store_evtchn;      /* Event channel for store communication. */
624 			uint32_t  evtchn;   /* Event channel for console page.        */
627 			uint32_t info_off;  /* Offset of console_info struct.         */
628 			uint32_t info_size; /* Size of console_info struct from start.*/
666 	uint32_t mod_start;
668 	uint32_t mod_end;
670 	uint32_t cmdline;
672 	uint32_t pad;
704 			uint32_t lfb_base;
705 			uint32_t lfb_size;
713 			uint32_t gbl_caps;
731 	uint32_t cmd;
736 			uint32_t flags;
740 			uint32_t index;
741 			uint32_t tmem_offset;
742 			uint32_t pfn_offset;
743 			uint32_t len;