| 
    Kodi Documentation 18.0
    
   Kodi is an open source media player and entertainment hub. 
   | 
 
#include <vm.h>
Public Attributes | |
| registers_t | registers | 
| domain_t | domain | 
| int | vtsN | 
| pgc_t * | pgc | 
| int | pgcN | 
| int | pgN | 
| int | cellN | 
| int32_t | cell_restart | 
| int | blockN | 
| int | rsm_vtsN | 
| int | rsm_blockN | 
| uint16_t | rsm_regs [5] | 
| int | rsm_pgcN | 
| int | rsm_cellN | 
State: SPRM, GPRM, Domain, pgc, pgN, cellN, ?
| int dvd_state_t::blockN | 
| int32_t dvd_state_t::cell_restart | 
| int dvd_state_t::cellN | 
| domain_t dvd_state_t::domain | 
| pgc_t* dvd_state_t::pgc | 
| int dvd_state_t::pgcN | 
| int dvd_state_t::pgN | 
| registers_t dvd_state_t::registers | 
| int dvd_state_t::rsm_blockN | 
| int dvd_state_t::rsm_cellN | 
| int dvd_state_t::rsm_pgcN | 
| uint16_t dvd_state_t::rsm_regs[5] | 
| int dvd_state_t::rsm_vtsN | 
| int dvd_state_t::vtsN |