u-boot/include/xen/arm
..
interface.h