Lines Matching refs:old

162 	uintptr_t old;
166 	old = (uintptr_t)rdmsr(MSR_AMD_GSBASE);
168 	return ((void *)old);
172 boot_kdi_tmpfini(void *old)
174 	wrmsr(MSR_AMD_GSBASE, (uint64_t)old);
183 	uintptr_t old;
198 	old = getgs();
201 	return ((void *)old);
205 boot_kdi_tmpfini(void *old)
207 	setgs((uintptr_t)old);