Na}{

Are you sure you want to delete the file privcmd.h?

Name	Size	Permission
acpi	---	0755
auto	---	0755
balloon	---	0755
blkdev	---	0755
compat	---	0755
dev	---	0755
fbdev	---	0755
front	---	0755
gntdev	---	0755
grant	---	0755
have	---	0755
mce	---	0755
netdev	---	0755
pcidev	---	0755
pv	---	0755
pvcalls	---	0755
pvhvm	---	0755
save	---	0755
scrub	---	0755
scsi	---	0755
sys	---	0755
xenbus	---	0755
512gb.h	0 bytes	0644
acpi.h	0 bytes	0644
backend.h	0 bytes	0644
balloon.h	0 bytes	0644
dom0.h	0 bytes	0644
efi.h	0 bytes	0644
gntdev.h	0 bytes	0644
privcmd.h	0 bytes	0644
pv.h	0 bytes	0644
pvh.h	0 bytes	0644
pvhvm.h	0 bytes	0644
syms.h	0 bytes	0644
wdt.h	0 bytes	0644