__x_readq          64 arch/powerpc/kvm/book3s_xive_template.c 	val =__x_readq(__x_eoi_page(xd) + offset);
__x_readq          85 arch/powerpc/kvm/book3s_xive_template.c 		__x_readq(__x_eoi_page(xd) + XIVE_ESB_LOAD_EOI);
__x_readq         341 arch/powerpc/kvm/book3s_xive_template.c 		__be64 qw1 = __x_readq(__x_tima + TM_QW1_OS);