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