piss in the pants

static void print_fault (pcb_t *p)
{   // print out some page fault
    if (p->is_thread)
        rsprintf("THREAD  ");
    else
        rsprintf("PROCESS ");
    rsprintf("FAULTED:\n");
    uint32_t err = p->error_code;
    uint32_t fault_page = p->fault_addr & (~PAGE_MASK);
    rsprintf("faulting page: %x\n", fault_page);
    rsprintf("PID: %d, error code %d\n", p->pid, err);

    if (!p->is_thread)
        rsprintf("stack: %x", p->user_stack);
    rsprintf(", dir: %x\n", p->page_directory);
}