Are you sure you want to delete the file privcmd.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| evtchn.h | 3553 bytes | 0644 | |
| gntalloc.h | 2619 bytes | 0644 | |
| gntdev.h | 7322 bytes | 0644 | |
| privcmd.h | 4206 bytes | 0644 |
Are you sure you want to delete the file privcmd.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| evtchn.h | 3553 bytes | 0644 | |
| gntalloc.h | 2619 bytes | 0644 | |
| gntdev.h | 7322 bytes | 0644 | |
| privcmd.h | 4206 bytes | 0644 |