blob: 84ad8f02fee5e5904c31c21915db049de7c3b2b3 [file] [log] [blame]
header-y += evtchn.h
header-y += privcmd.h