Lines Matching refs:aligned
27 struct cnoderef rootcn __attribute__ ((aligned(4)));
28 struct cnoderef taskcn __attribute__ ((aligned(4)));
29 struct cnoderef segcn __attribute__ ((aligned(4)));
30 struct cnoderef pagecn __attribute__ ((aligned(4)));
31 struct capref rootcn_cap __attribute__ ((aligned(4)));
32 struct capref taskcn_cap __attribute__ ((aligned(4)));
33 struct capref pagecn_cap __attribute__ ((aligned(4)));
34 struct capref dispframe __attribute__ ((aligned(4)));
35 struct capref dcb __attribute__ ((aligned(4)));
36 struct capref argspg __attribute__ ((aligned(4)));
37 struct capref vtree __attribute__ ((aligned(4)));