| 97 | } |
| 98 | |
| 99 | void cbfs_unmap(void *mapping) |
| 100 | { |
| 101 | /* |
| 102 | * This is save to call with mappings that weren't allocated in the cache (e.g. x86 |
| 103 | * direct mappings) -- mem_pool_free() just does nothing for addresses it doesn't |
| 104 | * recognize. This hardcodes the assumption that if platforms implement an rdev_mmap() |
| 105 | * that requires a free() for the boot_device, they need to implement it via the |
| 106 | * cbfs_cache mem_pool. |
| 107 | */ |
| 108 | mem_pool_free(&cbfs_cache, mapping); |
| 109 | } |
| 110 | |
| 111 | static inline bool fsps_env(void) |
| 112 | { |
no test coverage detected