/*
* ASSERTION 0035:
*
*/
ACPI_STATUS
AtGpeTest0035(void)
{
return (AtInstallGpeHandlerCommon(0, AE_OK));
}
/*
* ASSERTION 0039:
*
*/
ACPI_STATUS
AtGpeTest0039(void)
{
return AtInstallGpeHandlerCommon(4, AE_BAD_PARAMETER);
}
/*
* ASSERTION 0040:
*
*/
ACPI_STATUS
AtGpeTest0040(void)
{
return AtInstallGpeHandlerCommon(5, AE_ALREADY_EXISTS);
}
/*
* ASSERTION 0038:
*
*/
ACPI_STATUS
AtGpeTest0038(void)
{
return (AtInstallGpeHandlerCommon(3, AE_BAD_PARAMETER));
}