* TLB flush for an individual page (even if it has PG_G). * Only works on 486+ CPUs (i386 does not have PG_G). */
| 522 | * Only works on 486+ CPUs (i386 does not have PG_G). |
| 523 | */ |
| 524 | static __inline void |
| 525 | invlpg(u_long addr) |
| 526 | { |
| 527 | |
| 528 | __asm __volatile("invlpg %0" : : "m" (*(char *)addr) : "memory"); |
| 529 | } |
| 530 | |
| 531 | #define INVPCID_ADDR 0 |
| 532 | #define INVPCID_CTX 1 |
no outgoing calls
no test coverage detected