libsel4platsupport: Update IO ops calls in timer
Following the refactoring of the IO ops interfaces, we update the
relevant calls inside the timer interface. These changes are temporary
and are intended to be a band-aid fix for the deprecation of this
interface in the very near future.
diff --git a/libsel4platsupport/src/timer.c b/libsel4platsupport/src/timer.c
index 5988a9c..fd48c1e 100644
--- a/libsel4platsupport/src/timer.c
+++ b/libsel4platsupport/src/timer.c
@@ -180,7 +180,7 @@
/* initialise io ops */
ps_io_ops_t ops;
memset(&ops, 0, sizeof(ops));
- error = sel4platsupport_new_io_ops(*vspace, *vka, &ops);
+ error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
if (!error) {
/* we have no way of storing the fact that we allocated these io ops so we'll just leak
* them forever */
@@ -208,7 +208,7 @@
/* initialise io ops */
ps_io_ops_t ops;
memset(&ops, 0, sizeof(ops));
- int error = sel4platsupport_new_io_ops(*vspace, *vka, &ops);
+ int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
if (error) {
ZF_LOGE("Failed to get io ops");
return error;;
