path: root/xen/include/xen/random.h

#ifndef __XEN_RANDOM_H__
#define __XEN_RANDOM_H__

unsigned int get_random(void);

#endif /* __XEN_RANDOM_H__ */