search for: searchbi

Hello~~~ I need to use some functions provided by xen, such as xc_vcpu_getcontext(), xc_map_foreign_ranger() and so on. I have find them in the /libxc/xc_domain.c~~~ But I don't know how to use them in my program. For example, if I need to use the function named printf(), I have to include the header file <stdio.h>~~~ Now, I want to use these functions provided by xen, which header

Hello~~~~ I have to use some special functions provided by xen, such as xc_vcpu_getcontext(),xc_map_foreign_range() and so on. I tried to find them in the Xen Interface Manuel, but failed. Does anyone know where they are? And another problem: In the Xen Interface Manuel(Appendix A), "xen/include/public/" has been mentioned many times.But I havn't found such a directory in my