Lines Matching defs:to
12 * If you do not find this file, copies can be found by writing to:
36 // Set this switch to forward all IRQs to CPU 0
44 int_route_controller_int_message_t to) {
49 ACPI_DEBUG("ioapic add_mapping: label:%s, class:%s (port=%"PRIu64") to"
50 "(%"PRIu64", %"PRIu64")\n", label, class, from.port, to.port, to.msg);
63 // to.port is a barrelfish cpu id. Need to translate this to apic id
64 err = skb_execute_query("corename(%"PRIu64",_,apic(A)),writeln(A).", to.port);
81 ioapic->irqbase, inti, to.msg, to_apicid);
82 ioapic_route_inti(ioapic, inti, to.msg, to_apicid);
125 printf("DEBUG: Forwarding all IOAPIC interrupts to C0 (apic=%d)", to_apicid);
141 // Connect to int route service