blob: 563161a84eec68202262e39a0f5502d614325f6d [file] [log] [blame]
header-y += evtchn.h
header-y += gntalloc.h
header-y += gntdev.h
header-y += privcmd.h