/* dvz_hndl.c -- Implementation of the DVZ trap handler
|
/* dvz_hndl.c -- Implementation of the DVZ trap handler
|
*
|
*
|
* Copyright (c) 2004 National Semiconductor Corporation
|
* Copyright (c) 2004 National Semiconductor Corporation
|
*
|
*
|
* The authors hereby grant permission to use, copy, modify, distribute,
|
* The authors hereby grant permission to use, copy, modify, distribute,
|
* and license this software and its documentation for any purpose, provided
|
* and license this software and its documentation for any purpose, provided
|
* that existing copyright notices are retained in all copies and that this
|
* that existing copyright notices are retained in all copies and that this
|
* notice is included verbatim in any distributions. No written agreement,
|
* notice is included verbatim in any distributions. No written agreement,
|
* license, or royalty fee is required for any of the authorized uses.
|
* license, or royalty fee is required for any of the authorized uses.
|
* Modifications to this software may be copyrighted by their authors
|
* Modifications to this software may be copyrighted by their authors
|
* and need not follow the licensing terms described here, provided that
|
* and need not follow the licensing terms described here, provided that
|
* the new terms are clearly indicated on the first page of each file where
|
* the new terms are clearly indicated on the first page of each file where
|
* they apply.
|
* they apply.
|
*/
|
*/
|
|
|
#include <sys/syscall.h>
|
#include <sys/syscall.h>
|
|
|
void dvz_handler (void) __attribute__ ((interrupt ()));
|
void dvz_handler (void) __attribute__ ((interrupt ()));
|
|
|
void dvz_handler (void)
|
void dvz_handler (void)
|
{
|
{
|
HOST_SERVICE (SVC_DVZ);
|
HOST_SERVICE (SVC_DVZ);
|
}
|
}
|
|
|
