Symbol: ghes_estatus_pool_region_free
drivers/acpi/apei/ghes.c
238
void ghes_estatus_pool_region_free(unsigned long addr, u32 size)
include/acpi/ghes.h
80
static inline void ghes_estatus_pool_region_free(unsigned long addr, u32 size) { return; }