aboutsummaryrefslogtreecommitdiff
path: root/libmachdev/machdev.h
diff options
context:
space:
mode:
authorDamien Zammit <damien@zamaudio.com>2020-08-01 15:05:38 +1000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-08-02 23:33:36 +0200
commit49eae3b568ca925e9f0f928f8fb6dd8457d7d0b0 (patch)
tree7d54b9ff7c9fafa3e70960d12f0a98c957a815dd /libmachdev/machdev.h
parent304adff10d5bdeeb618a6633e3b80e51aa4585c6 (diff)
downloadhurd-49eae3b568ca925e9f0f928f8fb6dd8457d7d0b0.tar.gz
hurd-49eae3b568ca925e9f0f928f8fb6dd8457d7d0b0.tar.bz2
hurd-49eae3b568ca925e9f0f928f8fb6dd8457d7d0b0.zip
libmachdev: Introduce startup notification for clean rumpdisk shutdown
Message-Id: <20200801050538.273196-1-damien@zamaudio.com>
Diffstat (limited to 'libmachdev/machdev.h')
-rw-r--r--libmachdev/machdev.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/libmachdev/machdev.h b/libmachdev/machdev.h
index 55a56e0d..5f07d35f 100644
--- a/libmachdev/machdev.h
+++ b/libmachdev/machdev.h
@@ -30,6 +30,7 @@
void machdev_register (struct machdev_device_emulation_ops *ops);
void machdev_device_init(void);
+void machdev_device_shutdown(void);
void * machdev_server(void *);
error_t machdev_create_device_port (size_t size, void *result);
int machdev_trivfs_init(mach_port_t bootstrap_resume_task, const char *name, mach_port_t *bootstrap);