Searched defs:intctl_base (Results 1 – 3 of 3) sorted by relevance
67 vaddr_t intctl_base; /* interrupt controller registers */ variable
72 vaddr_t intctl_base; /* interrupt controller registers */ variable
99 vaddr_t intctl_base; /* interrupt controller registers */ variable