tag	line	file	source code
_set_gate	40	include/asm/system.h	_set_gate(&idt[n],14,0,addr)
_set_gate	43	include/asm/system.h	_set_gate(&idt[n],15,0,addr)
_set_gate	46	include/asm/system.h	_set_gate(&idt[n],15,3,addr)