virt_addr_bmp 188 arch/powerpc/include/asm/ps3.h int ps3_vuart_irq_setup(enum ps3_cpu_binding cpu, void* virt_addr_bmp, virt_addr_bmp 522 arch/powerpc/platforms/ps3/interrupt.c int ps3_vuart_irq_setup(enum ps3_cpu_binding cpu, void* virt_addr_bmp, virt_addr_bmp 529 arch/powerpc/platforms/ps3/interrupt.c BUG_ON(!is_kernel_addr((u64)virt_addr_bmp)); virt_addr_bmp 531 arch/powerpc/platforms/ps3/interrupt.c lpar_addr = ps3_mm_phys_to_lpar(__pa(virt_addr_bmp));