Searched refs:uint32_align2_t (Results 1 – 1 of 1) sorted by relevance
389 typedef uint32_t uint32_align2_t __attribute__((aligned(2))); typedef400 uint32_align2_t * tracebuf = (uint32_align2_t *)tracepos; in machine_trace_thread()