Searched refs:kvmppc_icbi_range (Results 1 – 2 of 2) sorted by relevance
114 static inline void kvmppc_icbi_range(PowerPCCPU *cpu, uint8_t *addr, int len) in kvmppc_icbi_range() function473 static inline void kvmppc_icbi_range(PowerPCCPU *cpu, uint8_t *addr, int len) in kvmppc_icbi_range() function
298 kvmppc_icbi_range(cpu, pdst, len); in h_page_init()