| 505 | } |
| 506 | |
| 507 | static __inline void |
| 508 | load_xcr(u_int reg, uint64_t val) |
| 509 | { |
| 510 | u_int low, high; |
| 511 | |
| 512 | low = val; |
| 513 | high = val >> 32; |
| 514 | __asm __volatile("xsetbv" : : "c" (reg), "a" (low), "d" (high)); |
| 515 | } |
| 516 | |
| 517 | /* |
| 518 | * Global TLB flush (except for thise for pages marked PG_G) |