diff options
| author | marcel <marcel@FreeBSD.org> | 2010-07-03 20:19:20 +0000 |
|---|---|---|
| committer | marcel <marcel@FreeBSD.org> | 2010-07-03 20:19:20 +0000 |
| commit | 94d3d209e1d15ce1ba3735812117345077e4a8bd (patch) | |
| tree | e9655806d4ea74d6fd9abc3fd4ce77542e5bce71 /lib/libgssapi/gss_add_oid_set_member.c | |
| parent | c42c25e67714fad201eb9678798eeb6720db8fbf (diff) | |
| download | FreeBSD-src-94d3d209e1d15ce1ba3735812117345077e4a8bd.zip FreeBSD-src-94d3d209e1d15ce1ba3735812117345077e4a8bd.tar.gz | |
Allocate and setup an interrupt vector for corrected machine checks.
For now, just print when we get the interrupt, but eventually we need
to collect the details and provide a more useful report.
Diffstat (limited to 'lib/libgssapi/gss_add_oid_set_member.c')
0 files changed, 0 insertions, 0 deletions
