Lines Matching refs:uint32_t
118 uint32_t code_length; // length in bytes
119 uint32_t commpage_address; // put at this address (_COMM_PAGE_BCOPY etc)
128 uint32_t nt_scale; // _COMM_PAGE_NT_SCALE
129 uint32_t nt_shift; // _COMM_PAGE_NT_SHIFT
131 uint32_t nt_generation; // _COMM_PAGE_NT_GENERATION
132 uint32_t gtod_generation; // _COMM_PAGE_GTOD_GENERATION
143 extern void commpage_set_nanotime(uint64_t tsc_base, uint64_t ns_base, uint32_t scale, uint32_t shift);
150 extern uint32_t commpage_is_in_pfz32(uint32_t);
151 extern uint32_t commpage_is_in_pfz64(addr64_t);