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));