pintos-doxygen/html/palloc_8h_source.html

#ifndef THREADS_PALLOC_H

#define THREADS_PALLOC_H


#include <stddef.h>


/** How to allocate pages. */

enum palloc_flags

  {

    PAL_ASSERT = 001,           /**< Panic on failure. */

    PAL_ZERO = 002,             /**< Zero page contents. */

    PAL_USER = 004              /**< User page. */

  };


void palloc_init (size_t user_page_limit);

void *palloc_get_page (enum palloc_flags);

void *palloc_get_multiple (enum palloc_flags, size_t page_cnt);

void palloc_free_page (void *);

void palloc_free_multiple (void *, size_t page_cnt);


#endif /**< threads/palloc.h */

user_page_limit
static size_t user_page_limit
-ul: Maximum number of pages to put into palloc's user pool.
Definition: init.c:58

palloc_flags
palloc_flags
How to allocate pages.
Definition: palloc.h:8

PAL_ZERO
@ PAL_ZERO
Zero page contents.
Definition: palloc.h:10

PAL_USER
@ PAL_USER
User page.
Definition: palloc.h:11

PAL_ASSERT
@ PAL_ASSERT
Panic on failure.
Definition: palloc.h:9

palloc_get_page
void * palloc_get_page(enum palloc_flags)
Obtains a single free page and returns its kernel virtual address.
Definition: palloc.c:111

palloc_free_multiple
void palloc_free_multiple(void *, size_t page_cnt)
threads/palloc.h
Definition: palloc.c:118

palloc_get_multiple
void * palloc_get_multiple(enum palloc_flags, size_t page_cnt)
Obtains and returns a group of PAGE_CNT contiguous free pages.
Definition: palloc.c:71

palloc_free_page
void palloc_free_page(void *)
Frees the page at PAGE.
Definition: palloc.c:146

palloc_init
void palloc_init(size_t user_page_limit)
Initializes the page allocator.
Definition: palloc.c:46

stddef.h