pub fn frame_dealloc(ppn: PhysPageNum)