[PATCH 02/13] powerpc/64: Provide functions for accessing POWER9 partition table

[Aneesh Kumar K.V]

Paul Mackerras <paulus at ozlabs.org> writes:
 +
> +	/* Global flush of TLBs and partition table caches for this lpid */
> +	asm volatile("ptesync");
> +	asm volatile(PPC_TLBIE_5(%0,%1,2,0,0) : : "r"(0x800), "r" (lpid));
> +	asm volatile("eieio; tlbsync; ptesync" : : : "memory");
> +}


It would be nice to convert that 0x800 to a documented IS value or better use
radix__flush_tlb_pid() ?

-aneesh