title: WFE instruction handling in ARM
body: <p>How does a WFE instruction work ?
  What I have read is that it makes processor wait for an IRQ /FIQ/event/....</p>
  
  <p>But what happens when you get an IRQ, does the irq_fault_handler vector executes on getting an interrupt or instruction subsequent to the WFE is executed ?</p>