include/simple/simple.h

246     arch_simple_t arch_simple;
298     if (!simple->arch_simple.irq) {
302     return simple->arch_simple.irq(simple->data, irq, path.root, path.capPtr, path.capDepth);
311     if (!simple->arch_simple.irq) {
315     return simple->arch_simple.irq(simple->data, irq, path.root, path.capPtr, path.capDepth);
341     return arch_simple_get_IOPort_cap(&simple->arch_simple, start_port, end_port, root, dest, depth);
511     if (!simple->arch_simple.iospace) {
516     return simple->arch_simple.iospace(simple->data, domainID, deviceID, path);
536     if (!simple->arch_simple.iospace_cap_count) {
541     return simple->arch_simple.iospace_cap_count(simple->data, count);
554     if (!simple->arch_simple.iospace_get_nth_cap) {
559     return simple->arch_simple.iospace_get_nth_cap(simple->data, n);