Contents

kernel_debug_filtered

Declaration

void kernel_debug_filtered(uint32_t debugid, uintptr_t arg1, uintptr_t arg2, uintptr_t arg3, uintptr_t arg4);

See Also

Kernel Debugging