kvmppc_set_xics_phys
static inline void kvmppc_set_xics_phys(int cpu, unsigned long addr)
kvmppc_set_xics_phys(cpu, addr);