···2020#include <asm/cacheflush.h>2121#include <asm/apic.h>2222#include <asm/perf_event.h>2323+#include <asm/tlb.h>23242425#include "mm_internal.h"2526···11411140 bool cpu_pcide;1142114111431142 /* Flush 'addr' from the kernel PCID: */11441144- asm volatile("invlpg (%0)" ::"r" (addr) : "memory");11431143+ invlpg(addr);1145114411461145 /* If PTI is off there is no user PCID and nothing to flush. */11471146 if (!static_cpu_has(X86_FEATURE_PTI))