/* efi_is_runtime_service_pointer() - check if pointer points to runtime table */
static bool efi_is_runtime_service_pointer(void *p)
/* efi_is_runtime_service_pointer() - check if pointer points to runtime table */
static bool efi_is_runtime_service_pointer(void *p)
{
	return (p >= (void *)&efi_runtime_services.get_time &&
		p <= (void *)&efi_runtime_services.query_variable_info) ||
	       p == (void *)&efi_events.prev ||
	       p == (void *)&efi_events.next;
}