30 lines
967 B
C
30 lines
967 B
C
|
/* Copyright (C) 2015 Adam Green (https://github.com/adamgreen)
|
||
|
|
|
||
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
||
|
|
you may not use this file except in compliance with the License.
|
||
|
|
You may obtain a copy of the License at
|
||
|
|
|
||
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
||
|
|
|
||
|
|
Unless required by applicable law or agreed to in writing, software
|
||
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
||
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||
|
|
See the License for the specific language governing permissions and
|
||
|
|
limitations under the License.
|
||
|
|
*/
|
||
|
|
#ifndef _FLOAT_MOCKS_H_
|
||
|
|
#define _FLOAT_MOCKS_H_
|
||
|
|
|
||
|
|
#include <CrashCatcher.h>
|
||
|
|
#include <stdint.h>
|
||
|
|
|
||
|
|
|
||
|
|
void FloatMocks_Init(void);
|
||
|
|
void FloatMocks_Uninit(void);
|
||
|
|
|
||
|
|
void FloatMocks_SetAllFloatingPointRegisters(const uint32_t* pFloatRegisters);
|
||
|
|
void FloatMocks_SetUpperFloatingPointRegisters(const uint32_t* pFloatRegisters);
|
||
|
|
|
||
|
|
|
||
|
|
#endif /* _FLOAT_MOCKS_H_ */
|