106 	u32 *psal, *aste;  in vdso_alloc_per_cpu()  local
128 	psal = (u32 *) (page_table + 256*sizeof(unsigned long));  in vdso_alloc_per_cpu()
129 	aste = psal + 32;  in vdso_alloc_per_cpu()
132 		psal[i] = 0x80000000;  in vdso_alloc_per_cpu()
134 	lowcore->paste[4] = (u32)(addr_t) psal;  in vdso_alloc_per_cpu()
135 	psal[0] = 0x20000000;  in vdso_alloc_per_cpu()
136 	psal[2] = (u32)(addr_t) aste;  in vdso_alloc_per_cpu()
139 	aste[4] = (u32)(addr_t) psal;  in vdso_alloc_per_cpu()
155 	u32 *psal, *aste;  in vdso_free_per_cpu()  local
160 	psal = (u32 *)(addr_t) lowcore->paste[4];  in vdso_free_per_cpu()
161 	aste = (u32 *)(addr_t) psal[2];  in vdso_free_per_cpu()