/ In Linux 3.4.6 (probably before), the write_idt_entry can */ invoke xen_write_idt_entry which does the code below */ (approximately). In the kernel, it stops us overwriting the */ vectors we care about in some cases, so we go direct to the */ hypervisor, if its loaded. */ /
source not stored for this graph (policy: none)
no test coverage detected