user_space
if (user_space(regs))
if (user_space(regs))
ACPI_COMMON_DEBUG_MEM_HEADER u64 user_space;
return ((void *)&allocation->user_space);
return ((void *)&allocation->user_space);
&allocation->user_space, allocation->size));
memset(&allocation->user_space, 0xEA, allocation->size);
&element->user_space);