1
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
70
71
72
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
102
103
104
105
106
107
108
/* ... */
#ifndef _HARDWARE_CLAIM_H
#define _HARDWARE_CLAIM_H
#include "pico.h"
#include "hardware/sync.h"
/* ... */
#ifdef __cplusplus
extern "C" {
#endif
/* ... */
void hw_claim_or_assert(uint8_t *bits, uint bit_index, const char *message);
/* ... */
int hw_claim_unused_from_range(uint8_t *bits, bool required, uint bit_lsb, uint bit_msb, const char *message);
/* ... */
bool hw_is_claimed(const uint8_t *bits, uint bit_index);
/* ... */
void hw_claim_clear(uint8_t *bits, uint bit_index);
/* ... */
uint32_t hw_claim_lock(void);
/* ... */
void hw_claim_unlock(uint32_t token);
#ifdef __cplusplus
}extern "C" { ... }
#endif
/* ... */
#endif