InvalidateUserTLB
static void InvalidateUserTLB(CPUSet cpus, intptr_t context);
InvalidateUserTLB(PagingStructures()->active_on_cpus, 0);
InvalidateUserTLB(PagingStructures()->active_on_cpus, 0);
InvalidateUserTLB(PagingStructures()->active_on_cpus, 0);
InvalidateUserTLB(fActiveOnCpus, 0);
InvalidateUserTLB(PagingStructures()->active_on_cpus, x86_read_cr3());